Cotangent of Sum/Corollary

Corollary to Cotangent of Sum

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

where $\cot $ is cotangent.