entonces: formula_4.