Entonces, cuando formula_86, tenemos, poniendo formula_87, que