theorem Th52: :: SURREALC:52

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