:: deftheorem defines tau_bar FIB_NUM:def 2 :
tau_bar = (1 - (sqrt 5)) / 2;