>151
>
>>123
>　x=4、z=5、y=3のとき自然数解を持ちます。
矛盾しています。
よって>>1の証明は間違っています。

>pが2のとき、x^p+y^p=z^pは、z=5、y=3となるような自然数解を持たない。

の場合は、正しいです。が、

p=2のとき、x^p+y^p=z^pは、自然数解を持たない。

の場合は、正しくないです。