Si formula_62 es un elemento de formula_1 que no está en formula_28, entonces sea formula_65 el conjunto formula_66.