(1)が整数解を持たないならば(1)が有理数解を持たないことを示していないので間違い。

(1)が整数解を持つならば(1)は、有理数解を持ちます。