Con formula_86, formula_87 tendremos que