theorem Th40: :: SURREALR:40

for x, y being Surreal holds - (x + y) = (- x) + (- y)