theorem Th34: :: SURREALC:34

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