Notemos ahora que si formula_27, formula_28, y si formula_29, formula_30.