Tenemos formula_86 y formula_87, y formula_88 y formula_89 lo que da