theorem Th32: :: SURREALR:32

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