Arctangent of Reciprocal equals Arccotangent

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

where $\arctan$ and $\arccot$ denote arctangent and arccotangent respectively.