theorem :: ZFMISC_1:26

for x, y being object holds union {{x},{y}} = {x,y}