theorem Th39: :: SURREALR:39

for x being Surreal holds x - x == 0_No