theorem THTU3: :: NTALGO_2:20
log (tau,10) < 5