Sine of Difference

Corollary to Sine of Sum

 * $\sin \paren {a - b} = \sin a \cos b - \cos a \sin b$

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

Historical Note
This formula was proved by in about 1579.