Derivative of Reciprocal

Theorem
Let $f: \R_{\ne 0} \to \R$ be the reciprocal function defined as:
 * $\map f x = \dfrac 1 x$

Then its derivative is given by:
 * $\map {f'} x = -\dfrac 1 {x^2}$

Proof
We have: