formula_7, donde formula_8.