Por ejemplo, el último teorema de Fermat afirma que para ningún entero formula_1 hay valores enteros positivos de x, y y z tales que formula_2.