theorem Th3: :: JCT_MISC:3

for r, s, t being Real st t in ].r,s.[ holds
|.t.| < max (|.r.|,|.s.|)