整数係数首一多項式 f(x)-q の有理根は定数項を割る整数で、その絶対値は p である。正の候補は 1,p だけだが r はその間にあるので無理数となり、有理な縦座標 q に対するグラフ条件に矛盾する。