Prove that the derivative of a constant times a derivative function is equal to the constant times the derivative of the function.