Cosine of Sum of Three Angles

Theorem

 * $\map \cos {A + B + C} = \cos A \cos B \cos C - \sin A \sin B \cos C - \sin A \cos B \sin C - \cos A \sin B \sin C$