theorem Th1: :: SEQ_2:1

for r, g being Real holds
( ( - g < r & r < g ) iff |.r.| < g )