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 {\dfrac \d {\d x} } {c \map f x} = c \map {\dfrac \d {\d x} } {\map f x}$