let x, y be set ; :: thesis: {x} \ {x,y} = {}
x in {x,y} by TARSKI:def 2;
hence {x} \ {x,y} = {} by Lm11; :: thesis: verum