Esta demostración se basa en los números de Fermat, es decir, los números de la forma :formula_1.