係数がすべて整数で最高次の係数が1のn次方程式(A)において
(A)が有理数解を持つ⇔(A)が整数解を持つ

で