theorem :: XBOOLE_1:40

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