theorem :: XBOOLE_1:101

for X, Y being set holds X \+\ Y = (X \/ Y) \ (X /\ Y) by Lm5;