theorem Th6: :: SCMYCIEL:6

for x being set holds singletons {x} = {{x}}