theorem Th36: :: FIB_NUM2:36

- (1 / tau) = tau_bar