theorem :: ZFMISC_1:9

for x, y being object holds {x} \/ {x,y} = {x,y}