More on the antiderivative and antidifferentiation. Applications. Reference in Stewart: Section 4.9.