Derivative of the Real Arctangent Function

Theorem: Derivative of the Real Arctangent Function

The real arctangent function is differentiable with

$$(\arctan x{)}^{\prime }=\frac{1}{x^2+1}$$

PROOF

TODO