【定理】p=2のとき、x^p+y^p=z^pは、自然数解を持つ。
【証明】p=2なので、z^2-y^2=(z+y)(z-y)と変形できる。
x^2=x^2×1=(x^2/a)×aなので、x^2×1=(z+y)(z-y)のみを考える。
x^2=A、1=B、(z+y)=C、(z-y)=Dとおく。
AB=CDならば、B=Dのとき、A=Cとなる。
1=(z-y)とx^2=(z+y)を共に満たすのは、x=3、ｙ=4、z=5である。
∴p=2のとき、x^p+y^p=z^pは、自然数解を持つ。