En efecto, si formula_12, es evidente que formula_11.