theorem Th5: :: FIB_NUM4:5

|.tau_bar.| < 1