theorem Th12: :: SURREALR:12

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