P(x)=anxn+⋯+a0 sabit olmayan böyle bir polinom olsun. a0 asal olmak zorundadır, p=a0 diyelim.
Q(x)=anpn−1xn+an−1pn−2xn−1+⋯+a1x+1 olsun. k∈Z ve Q(k)≠±1 olsun (Q(x) sabit olmadığından bulabiliriz). P(kp) asal olmalı. Ama
P(kp)=Q(k)p ve Q(k)≠±1 çelişki.