theorem Th13: :: SURREALR:13

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