theorem Th51: :: SURREALC:51

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