Si formula_30 entonces se tiene que formula_32 para formula_33 y de alli