En efecto, pues si formula_27 y formula_28, entonces