theorem Th41: :: SURREALR:41

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