Cosine of Sum/Corollary

Corollary to Cosine of Sum

 * $\map \cos {a - b} = \cos a \cos b + \sin a \sin b$

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

Also see

 * Sine of Difference