设n=2^a且f(x)=f(y)(模n)。则2a+12^{a+1}2a+1整除(x-y)(x+y+1)。若x、y同奇偶,第二个因子为奇数,所以x=y(模2a+12^{a+1}2a+1);若奇偶不同,x-y为奇数且第二个因子严格介于0和2a+12^{a+1}2a+1之间,因而不可能被2a+12^{a+1}2a+1整除。