theorem Th2: :: TOPREAL6:3

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