Derivative of Constant Multiple/Corollary