Arcsecant of Reciprocal equals Arccosine

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

where $\arccos$ and $\arcsec$ denote arccosine and arcsecant respectively.