Entonces formula_159 y formula_154.