Yes, that's correct! The antiderivative of 20c to the 9th power dc is indeed equal to 20c to the 10th power over (divided by) 10 ¹.
In general, an antiderivative of a function f(x) is a function F(x) whose derivative is equal to f(x). The antiderivative of a polynomial function is obtained by adding one to the exponent of each term and dividing by the new exponent ⁵.