theorem :: XBOOLE_1:90

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