フェルマーの最終定理...n=4
の場合
(ml)^4+x^4=(x+m)^4
よりx=[(x+m)^4-x^4=(ml)^4]のxの解
となり、
(x^2+2xm+m^2)-(x^2)^2=(ml)^4
となり、
(2xm+m^2)(2x^2+2xm+m^2)-(ml)^4=0
となり
(2x+m)(2x^2+2xm+m^2)-m^3l^4=0
となるxの整数解がなければ
n=4の時に整数解が無いことを証明できる。