Arccosine of Reciprocal equals Arcsecant

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

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