theorem Th18: :: SURREALC:18

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