theorem Th35: :: SURREALC:35

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