theorem Th49: :: XBOOLE_1:49

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