theorem Th5: :: FIB_NUM4:5
|.tau_bar.| < 1