Primitive of Cotangent Function

Theorem

 * $\displaystyle \int \cot {\theta} \ \mathrm d \theta = \ln \left \vert {\sin \theta} \right \vert + C$

where $\sin \theta \ne 0$.