有理数解の分母は最高次係数の約数だから仮定より明らか