D'Ocagne's Identity

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

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