Equivalence of Definitions of Hyperbolic Tangent

Theorem
The following definitions of the hyperbolic tangent are equivalent: