Derivative of cosh

Proposition: The following formula holds: $$\dfrac{\mathrm{d}}{\mathrm{d}x} \cosh(x) = \sinh(x),$$ where $\cosh$ denotes the hyperbolic cosine and $\sinh$ denotes the hyperbolic sine.

Proof: █