theorem Th42: :: SURREALR:42

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