theorem Th33: :: FIB_NUM2:33
tau > 0