Derivative of tanh

Proposition: The following formula holds: $$\dfrac{\mathrm{d}}{\mathrm{d}x} \tanh(x)=\mathrm{sech}(x),$$ where $\tanh$ denotes the hyperbolic tangent and $\mathrm{sech}$ denotes the hyperbolic secant.

Proof: █