theorem Th44: :: SURREALR:44

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