En efecto, pues si formula_5, entonces