n=3のとき、x^n+y^n=z^nは自然数解を持つ(仮定)

x^3+y^3=z^3+1 は自然数解がある
(∴x=9,y=10,z=12)

もし、
最初の仮定が正しいとするならば、
数式x^3+y^3=z^3+1 は式の変形で+1 を
消去して数式x^3+y^3=z^3　に
変形できる事となる

しかし、これは不可能である

つまり最初の仮定が間違いである事を
意味する

∴x^n+y^n=z^nは自然数解を持たない(n=3)