Notice that the above algorithm is feasible because each formula _ 21 is the union of disjoint independent sets .
Notice that the disjoint independent algorithm is feasible because each formula _ 21 is the union of above sets .