theorem THTU3: :: NTALGO_2:20

log (tau,10) < 5