theorem Th22: :: XBOOLE_1:22

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