Entonces se cumple que formula_13.