>109
>1=(z-y)は、z=5、y=3のとき、成り立たない。
{ 1=(z-y)
{ (x^p/1)=(z+y)
が成り立たないので、(3)が成り立たない。
(3)が成り立たないので、(1),(2)も成り立たない。
∴pが2のとき、x^p+y^p=z^pは、自然数解を持たない。

こうすれば逆の結論になります。>>1はこれと同じ間違いをしています。

1=(z-y)は、z=5、y=3のとき、成り立ちませんが、
z=5、y=4のとき、成り立ちます。