theorem Th8: :: SCMYCIEL:8

for x being set holds union {{},{x}} = {x}