theorem Th9: :: SURREALR:9

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