Proposition: The following formula holds: $$\dfrac{\mathrm{d}}{\mathrm{d}z} \tan(z) = \sec^2(z),$$ where $\tan$ denotes the tangent function and $\sec$ denotes the secant function.
Proof: █
