theorem Th21: :: SURREALR:21

for x being Surreal holds {(- x)} = -- {x}