Sum of Consecutive Odd Index Fibonacci Numbers

Theorem
where:
 * $F_k$ denotes the $k$th Fibonacci number
 * $\phi$ denotes the golden mean.