En efecto, pues si formula_442 y formula_142, entonces