reserve x,A,B,X,X9,Y,Y9,Z,V for set;

theorem
  X c= A \+\ B iff X c= A \/ B & X misses A /\ B
proof
  A \+\ B = (A \/ B) \ A /\ B by Lm5;
  hence thesis by Th86,Th106;
end;
