theorem Th37: :: SURREALC:37

for x, y being Surreal holds |.(x + y).| <= |.x.| + |.y.|