Sean formula_1 y formula_26 tales que formula_1 está en la coclase formula_28, es decir formula_29 para algún formula_30 en formula_24.