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