Para demostrar el segundo apartado, supongamos que formula_9.