Demostrándose que formula_30