Y con eso demostramos que formula_9.