Sea formula_2 un entero no negativo.