donde formula_4.