Fibonacci Number in terms of Larger Fibonacci Numbers

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

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