theorem Th41: :: XBOOLE_1:41

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