Real Area Hyperbolic Tangent of Reciprocal equals Real Area Hyperbolic Cotangent

Theorem
Everywhere that the function is defined:
 * $\map \artanh {\dfrac 1 x} = \arcoth x$

where $\artanh$ and $\arcoth$ denote real area hyperbolic tangent and real area hyperbolic cotangent respectively.