theorem Th10: :: EXTREAL1:21

for x, y being ExtReal st |.x.| < y holds
( - y < x & x < y )