for X, X9, Y, Y9 being set st X9 \/ Y9 = X \/ Y & X misses X9 & Y misses Y9 holds
X = Y9