Cosine of x minus Sine of x/Sine Form

Theorem

 * $\cos x - \sin x = \sqrt 2 \, \map \sin {x + \dfrac {3 \pi} 4}$

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