Relationship between cosh, inverse Gudermannian, and sec

Theorem: The following formula holds: $$\cosh(\mathrm{gd}^{-1}(x))=\sec(x),$$ where $\cosh$ is the hyperbolic cosine, $\mathrm{gd}^{-1}$ is the inverse Gudermannian, and $\sec$ is the secant.

Proof: █