Relationship between csc, Gudermannian, and coth

Theorem: The following formula holds: $$\csc(\mathrm{gd}(x))=\mathrm{coth}(x),$$ where $\csc$ is the cosecant, $\mathrm{gd}$ is the Gudermannian, and $\mathrm{coth}$ is the hyperbolic cotangent.

Proof: █