Derivative of Constant Multiple

Theorem
Let $$f$$ be a real function which is differentiable on $$\R$$.

Let $$c \in \R$$ be a constant.

Then $$D_x \left({c f \left({x}\right)}\right) = c D_{x} \left({f \left({x}\right)}\right)$$.

Proof
$$ $$ $$