>59
>【定理】pが奇素数のとき、x^p+y^p=z^2は、自然数解を持たない。

間違いです。
x^p+y^p=z^2は、自然数解を持ちます。