Para formula_32 se cumple formula_33.