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

最後の1行を修正します。
これならz=5、y=4のときの話にはならないので。

x=4、z=5、y=3のとき自然数解を持ちます。