theorem :: ZFMISC_1:66

for x, y being object
for X being set holds
( X \ {x,y} = {} iff ( X = {} or X = {x} or X = {y} or X = {x,y} ) )