En efecto, si formula_13