Cosecant Minus Sine

Theorem

 * $\csc x - \sin x = \cos x \ \cot x$