Liouville (1809-1882) demostró en 1844 que todos los números de la forma formula_77 (p.e.