fibをフィボナッチ値ではなくて、
呼び出し回数を返す関数に書き換えて、
元の関数と構造を比べれば分かる。
その書き換えは帰納法による証明とほぼ同等。