theorem :: XBOOLE_1:76

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