theorem :: NUMBER14:1

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