Sine of x minus Cosine of x/Sine Form

Theorem

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

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