theorem Th39: :: XBOOLE_1:39

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