donde formula_7