Derivative of cosine integral

Theorem

The following formula holds: $$\dfrac{\mathrm{d}}{\mathrm{d}z}\mathrm{Ci}(z) = \dfrac{\cos(z)}{z},$$ where $\mathrm{Ci}$ denotes the cosine integral and $\cos$ denotes cosine.