theorem Th2: :: NUMBER14:2

for a, b being Real st b < a & a <= 0 holds
|.a.| < |.b.|