First we show in detail the last step in the solution:

Now we try to check:

We see that the check would work if the following equality was true:

Since it seems rather difficult to deduce such an equality directly (by trying to get from one side of the equality to the other), we prefer to justify the equality by simplifying it using equivalent operations:

The latest equality is obviously true, so we checked that the antiderivative was determined correctly.