theorem Th49: :: SURREALC:49

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