设 P(x)=cx+dP(x)=cx+dP(x)=cx+d,c≠0c\ne0c=0。若 ∣c∣≥2|c|\ge2∣c∣≥2,取 n=∣c∣≥2n=|c|\ge2n=∣c∣≥2,则 P(1)=c+d≡d(modc)P(1)=c+d\equiv d\pmod cP(1)=c+d≡d(modc) 与 P(2)=2c+d≡d(modc)P(2)=2c+d\equiv d\pmod cP(2)=2c+d≡d(modc) 模 n=∣c∣n=|c|n=∣c∣ 同余,与取 y=1,z=2y=1,z=2y=1,z=2 的引理矛盾。故 ∣c∣=1|c|=1∣c∣=1。