【定理】p=2のとき、x^p+y^p=z^pは自然数解を持つ。
x^2+y^2=z^2を、x^2+y^2=(y+1)^2…(1)とおく。
(1)を(x-1)(x+1)=2y…(2)とおく。
(2)は(x-1)=2のとき、(x+1)=yとなる。
∴p=2のとき、x^p+y^p=z^pは自然数解を持つ。