Cotangent of Sum

Theorem

 * $\map \cot {a + b} = \dfrac {\cot a \cot b - 1} {\cot b + \cot a}$

where $\cot $ is cotangent.