>>606
> >>605
> > ∴nが奇素数のとき、x^n+y^n=z^nは自然数解を持たない。
> と同値ではないので証明は間違っている
>
> 同値でなくても、有理数、無理数の関係は残ります。

無理数解が無数にあること と 有理数解を持つこと は両立できる
有理数解が無数にあること と 無理数解を持つこと は両立できる
ので「無理数の関係は残ります」は意味がない