>787
>【定理】p=2のとき、x^p+y^p=z^pは、自然数解を持つ。
3^2+4^2=5^2と例をあげればそれでおしまい。

確かにそうですが、pが奇素数の場合も、考え方は同じということを、示したいから
p=2の場合も、示しました。