Assume it does, then the violation is caused by omitting the edges in E cross .
there must be a node u ∈ U and w ∈ W (w.l.o.g) such that for some node v, (u, v) and (v, w) are in E new , but (u, w) is not.