Closed Form of One Minus Golden Mean

Theorem

 * $\hat \phi = \dfrac {1 - \sqrt 5} 2$

where:
 * $\hat \phi$ denotes one minus the golden mean: $\hat \phi = 1 - \phi$.