由 P(x)=anxnP(x)=a_nx^nP(x)=anxn 且 an>0a_n>0an>0,取 a=b=an−1/na=b=a_n^{-1/n}a=b=an−1/n,则 P(a)=P(b)=an⋅an−1=1∈ZP(a)=P(b)=a_n\cdot a_n^{-1}=1\in\mathbb ZP(a)=P(b)=an⋅an−1=1∈Z。于是假设迫使 P(ab)=P(a2)=an an−2=1/anP(ab)=P(a^2)=a_n\,a_n^{-2}=1/a_nP(ab)=P(a2)=anan−2=1/an 必须是整数。由于 ana_nan 是正整数,这迫使 an=1a_n=1an=1。