Sum of Cosecant and Cotangent

Theorem

 * $\csc x + \cot x = \cot {\dfrac x 2}$