自然数の組(x,y,z)が等式x^n+y^n=z^n (n>2)を満たすと仮定する.ここで0x=0y=0z=0の成立が必要であるが,この等式は(x,y,z)=(1,1,1)でも成立するので不適である.