Golden Mean by One Minus Golden Mean equals Minus 1

Theorem

 * $\phi \hat \phi = -1$

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