Vajda's Identity

Theorem
Let $F_n$ be the $n$th Fibonacci number.