Sum of Squares of Consecutive Fibonacci Numbers

Theorem

 * ${F_n}^2 + {F_{n + 1} }^2 = F_{2 n + 1}$

where $F_n$ denotes the $n$th Fibonacci number.