n=2^aでf(x)=f(y) (mod n)と仮定する。このとき2a+12^{a+1}2a+1は(x-y)(x+y+1)を割り切る。xとyが同じ偶奇なら第2因子は奇数なのでx=y (mod 2a+12^{a+1}2a+1)となる。偶奇が異なればx-yは奇数で、第2因子は0と2a+12^{a+1}2a+1の間にあるため、2a+12^{a+1}2a+1の倍数にはなれない。