qr-cr≧6で多項式h(pr)が整数であることを示すのにh(pr)の項がすべて整数でなければならないとしているが、これでは不十分
h(pr)の複数の項が非整数であれば、h(pr)が整数でもおかしくない
もう少し根拠が必要