倒易点阵性质证明