theorem Th33: :: FIB_NUM2:33

tau > 0