Sea formula_63 el entero tal que formula_64.