Derivative of Square Function

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

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