Derivative of Tangent of Function

Theorem
Let $u$ be a differentiable real function of $x$.

Then:
 * $\map {\dfrac \d {\d x} } {\tan u} = \sec^2 u \dfrac {\d u} {\d x}$

where $\tan$ is the tangent function and $\sec$ is the secant function.