Derivative of the Real Arccotangent Function

Theorem: Derivative of the Real Arccotangent Function

The real arccotangent function is differentiable with

$$(\mathrm{arccot}x{)}^{\prime }=-\frac{1}{x^2+1}$$

PROOF

TODO