theorem Th89: :: XBOOLE_1:89

for X, Y being set holds X /\ Y misses X \ Y