The derivative of a constant function is zero