Supongamos que formula_32, entonces formula_33