Si formula_23, entonces: