formula_7 siendo formula_8.