Sine of Sum of Three Angles

Theorem

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