Derivative of Constant Multiple/Real

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)$