let x, y be object ; :: thesis: {x} \/ {x,y} = {x,y}
x in {x,y} by TARSKI:def 2;
hence {x} \/ {x,y} = {x,y} by Lm1, XBOOLE_1:12; :: thesis: verum