donde formula_4