A bijective proof of f n + 4 + f 1 + 2 f 2 + ⋯ + n f n = ( n + 1 ) f n + 2 + 3 . Matchett Wood, Philip — 2006 Integers