倒易点阵的证明