Derivative of Identity Function/Corollary

Corollary to Derivative of Identity Function

 * $\map {\dfrac {\d} {\d x} } {c x} = c$

where $c$ is a constant.