theorem :: XBOOLE_1:100

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