theorem :: XBOOLE_1:21

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