theorem Th27: :: SURREALR:27

for X being set holds X ++ {} = {}