let X, x, y be set ; :: thesis: ( X \ {x,y} = {} iff ( X = {} or X = {x} or X = {y} or X = {x,y} ) )
( X \ {x,y} = {} iff X c= {x,y} ) by XBOOLE_1:37;
hence ( X \ {x,y} = {} iff ( X = {} or X = {x} or X = {y} or X = {x,y} ) ) by Lm14; :: thesis: verum