donde, de nuevo formula_9 y formula_13.