Derivative of Square Function

Theorem
Let $f: \R \to \R$ be the square function:
 * $\forall x \in \R: \map f x = x^2$

Then the derivative of $f$ is given by:
 * $\map {f'} x = 2 x$