theorem Th37: :: MEASURE6:37

for r, s, t being Real st r < s & s < t holds
|.s.| < |.r.| + |.t.|