Puesto que formula_30 y formula_31, entonces formula_32.