Euler y Lamé se dice que han demostrado FLT para $n=3$ que es, se cree que han demostrado que $x^3 + y^3 = z^3$ no tiene ningún número entero distinto de cero soluciones. Según Kleiner se acercaron a este por la descomposición de $x^3 + y^3$ a $(x + y)(x + y\omega)(x + y\omega^2)$ donde $\omega$ es la primitiva de la raíz cúbica de la unidad o $w = \frac{-1 + \sqrt{3}i}{2}$.
Cómo iba a terminar el resto de la prueba?