Non proprio Fermat

Poiché è facile vedere che x ≠ y, possiamo supporre senza perdita di generalità che x < y < z. Spostando il termina yⁿ al secondo membro e fattorizzando, abbiamo che xⁿ = (z−y)(zⁿ⁻¹+yzⁿ⁻²+…+yⁿ⁻¹) ≥ 1+nxⁿ⁻¹ > xⁿ, che è assurdo.

Un'ultima parola

No, questo non basta per dimostrare l'Ultimo teorema di Fermat.