theorem THTU2: :: NTALGO_2:19

tau < 2