> (1)が有理数解を持つならば、必ず整数解を持つので、

これも口からでまかせ?