Catalan's Identity

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

Then:
 * $\displaystyle F_n^2 - F_{n-r} F_{n+r} = \left( -1 \right) ^ {n-r} F_r^2$.