theorem :: XBOOLE_1:97

for X, Y, Z being set st X \ Y c= Z & Y \ X c= Z holds
X \+\ Y c= Z by Th8;