theorem :: XBOOLE_1:6

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