theorem Th43: :: SURREALR:43

for x, y, z, t being Surreal st x <= y & z <= t holds
x + z <= y + t