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:
 * $\map {D_x} {c \, \map f x} = c \, \map {D_x} {\map f x}$