Si formula_4 es un entero positivo, entonces