Recíprocamente, si formula_35, entonces formula_27 para algún conjunto formula_33 (e.g.