theorem Th10: :: SURREALR:10

for x, y being Surreal holds
( x <= y iff - y <= - x )