theorem :: ZFMISC_1:63

for x, y being object
for X being set holds
( {x,y} \ X = {x,y} iff ( not x in X & not y in X ) ) by Th48, Th50, XBOOLE_1:83;