構造では「(1)が整数解を持たないならば(1)が有理数解を持たない」は示せないので
>>359は間違い。

例を示してください。