Primitive of Reciprocal of 1 minus Cosine of a x/Corollary

Theorem

 * $\ds \int \frac {\d x} {1 - \cos x} = -\cot \frac x 2 + C$