Arctangent of Reciprocal equals Arccotangent

Theorem
Everywhere that the function is defined:
 * $\arctan \left({\dfrac 1 x}\right) = \operatorname{arccot} x$

where $\arctan$ and $\operatorname{arccot}$ denote arctangent and arccotangent respectively.