Arccotangent of Negative Argument

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