theorem Th111: :: XBOOLE_1:111

for X, Y, Z being set holds (X /\ Z) \ (Y /\ Z) = (X \ Y) /\ Z