Derivative of Identity Function/Corollary

Corollary to Derivative of Identity Function for Real Numbers

 * $\dfrac{\mathrm d}{\mathrm d x} \left({c x}\right) = c$

where $c$ is a constant.