Si formula_10, entonces: