>>228

> (3)が成り立たないならば、(1),(2)も成り立たない。
> (3)が成り立たないので、(1),(2)も成り立たない。

これを書いたのはあなたです。
これは自明です。正しい。なぜならわざわざ書くまでもなく同じ式ですから。
今調べているのは(1)が成り立つかどうかですから
(1)が成り立たないなら、
「pが2のとき、x^p+y^p=z^pは、自然数解を持たない。」
になるのは当然です。