formula_56 se cumple: