Square of Golden Mean equals One plus Golden Mean

Theorem

 * $\phi^2 = \phi + 1$

where $\phi$ denotes the golden mean.