theorem Lemma6: :: PREFER_1:6

for x1, x2, x3, x4 being set holds ({x1} \/ {x2}) \/ {x3,x4} = {x3,x1,x2,x4}