theorem Th41: :: SURREALC:41

for x, y, z being Surreal st |.x.| infinitely< z & |.y.| infinitely< z holds
|.(x + y).| infinitely< z