Arccotangent of Negative Argument

Theorem
Everywhere that the function is defined:
 * $\map \arccot {-x} = \pi - \arccot x$