:: deftheorem defines tau FIB_NUM:def 1 :
tau = (1 + (sqrt 5)) / 2;