Cosine of x minus Sine of x/Cosine Form

Theorem

 * $\cos x - \sin x = \sqrt 2 \cos \left({x + \dfrac \pi 4}\right)$

where $\sin$ denotes sine and $\cos$ denotes cosine.