Se verifica que formula_24, ssi, formula_25 es un número natural positivo.