theorem THTU2: :: NTALGO_2:19
tau < 2