theorem :: XBOOLE_1:103

for X, Y being set holds X /\ Y misses X \+\ Y by Lm4;