n=2のとき、x^n+y^n=z^nは自然数解を無数に持つ。
x^2+y^2=z^2を、y^2=(x+m)^2-x^2と変形する。y,mは有理数とする。
y^2=(x+1)^2-x^2のxは有理数となる。
∴n=2のとき、x^n+y^n=z^nは自然数解を無数に持つ。