theorem Th34: :: FIB_NUM2:34

tau_bar = (- tau) to_power (- 1)