Real Area Hyperbolic Cosine of Reciprocal equals Real Area Hyperbolic Secant

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

where $\arcosh$ and $\arsech$ denote real area hyperbolic cosine and real area hyperbolic secant respectively.