Il polinomio in x a membro destro è positivo qualunque sia x reale. Dunque y è un numero positivo. Sottraendo x^3 a entrambi i membri si ottiene: y^3 + (-x)^3 = (1-x)^3. Sfruttando l’ultimo teorema di Fermat questa equazione ha solo soluzioni triviali: x=1 o x= 0, y=1 (in entrambi i casi).