Fibonacci Number in terms of Smaller Fibonacci Numbers

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

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