Finding the antiderivatives of a function require a little backwards thinking. Since the derivative of the wanted antiderivative is the given function, checking for correctness is easy. You just take the derivative, and see if it is the given function. Also, antiderivatives of functions happen to be not just one function, but a whole family of functions. This family can be written as a polynomial plus c, where c stands for any constant.