>118
>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の証明は間違っています。

この証明の命題は、何でしょうか？