donde formula_8.