Fibonacci Number 2n equals Fibonacci Number n by Lucas Number n

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

Let $L_n$ denote the $n$th Lucas number.

Then:
 * $F_{2 n} = F_n L_n$

Proof
Let:
 * $\phi = \dfrac {1 + \sqrt 5} 2$
 * $\hat \phi = \dfrac {1 - \sqrt 5} 2$

Then: