theorem Th50: :: XBOOLE_1:50

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