Honsberger's Identity

Theorem
Let $F_k$ be the $k$th Fibonacci number.

Then:
 * $\displaystyle \forall m, n \in \N_{>0}: F_{m+n} = F_{m-1} F_n + F_m F_{n+1}$