固定一个真正的二周期 P(a)=bP(a)=bP(a)=b、P(b)=aP(b)=aP(b)=a。对另一个满足 P2(α)=αP^2(\alpha)=\alphaP2(α)=α 的点，令 β=P(α)\beta=P(\alpha)β=P(α)，则 P(β)=αP(\beta)=\alphaP(β)=α。将可除性引理双向用于 (α,a)(\alpha,a)(α,a) 和 (β,b)(\beta,b)(β,b)，可知 α−a\alpha-aα−a 与 β−b\beta-bβ−b 互相整除；同理 α−b\alpha-bα−b 与 β−a\beta-aβ−a 互相整除。因此得到所示绝对值等式。