read Cfinite: print(`The First Fibonacci identity begged by Benjamin and Quinn is`): print(`and proved combinatorially by Doron Zeilberger in the`): print(`Journal Personal Journal of Shalosh B. Ekhad and Doron Zeilberger`): print(` is: `): print(evalb(mSect(BT(mSect(fn(),2,1)),2,0)=mSect(BT(mSect(fn(),2,1)),2,0))); print(`The Second Fibonacci identity begged by Benjamin and Quinn is`): print(evalb(mSect(BT(mSect(fn(),2,0)),2,0)=mSect(BT(mSect(fn(),2,0)),2,0))); print(`This took`, time(), `seconds . `): quit: