Reciprocal of One Minus Cosine/Proof 1

Theorem

 * $\dfrac 1 {1 - \cos x} = \dfrac 1 2 \csc^2 \left({\dfrac x 2}\right)$