theorem Th15: :: SURREALR:15

for X being surreal-membered set holds -- (-- X) = X