Entonces, formula_30 está en formula_19