>>340
> 「(1)が整数解を持たないならば有理数解も持たない。」は言えます

x^2+y^2=z^2が整数解を持つための必要条件は「(1)が整数解を持つ」こと以外にもあるので言えない