theorem Th42: :: XBOOLE_1:42

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