Bevis for differentialkvotient for f(x) = x^2