Como formula_8, tenemos: