Fibonacci Number n+1 Minus Golden Mean by Fibonacci Number n

Theorem

 * $F_{n + 1} - \phi F_n = \hat \phi^n$

where:
 * $F_n$ denotes the $n$th Fibonacci number
 * $\phi$ denotes the golden mean.