剰余定理をここで説明する必要もないが
例えばf(pr)がprで割り切れるのであれば、f(0)=0でなければなならい。
この論文ではf(0)=1となるから、割り切れないということになる。