n>2のとき、x^n+y^n=z^nは自然数解を持たない。
x^n+y^n=z^nを変形してy^n=(x+m)^n-x^n…(1)とする。y,mは整数とする。
2^n=(x+1)^n-x^nは無理数解を持つ。
(1)は(2^n)k=[{(x+1)^n}k+u]-{(x^n)k+u}…(2)となる。k=(y/2)^n,uは無理数。
(2^n)k={(x+1)^n}k-(x^n)kは無理数解を持つので(2)も無理数解を持つ
∴n>2のとき、x^n+y^n=z^nは自然数解を持たない。