Derivative of the Real Arccosine Function

Theorem: Derivative of the Real Arccosine Function

The real arccosine function is differentiable on the interval $(-1;+1)$ with

$$(\arccos x{)}^{\prime }=-\frac{1}{\sqrt{1-x^2}}$$

PROOF

TODO