Derivative of Square Function

Theorem
Let $f: \R \to \R$ be the square function:
 * $\forall x \in \R: f \left({x}\right) = x^2$

Then the derivative of $f$ is given by:
 * $f' \left({x}\right) = 2 x$