Proposition: The following formula holds: $$\dfrac{\mathrm{d}}{\mathrm{d}z} \csc(z)=- \cot(z)\csc(z),$$ where $\csc$ denotes the cosecant function and $\cot$ denotes the cotangent function.
Proof: █
