formula_33 de forma que si formula_34 entonces formula_35 (es decir, formula_36).