Observemos que se cumple que formula_34.