The fundamental theorem of integral calculus is the culmination of the chapter: it ties differentiation and integration together, showing that the integral function is an antiderivative of the integrand. From this comes the formula that lets us compute definite integrals via an antiderivative. The proof rests on the integral mean value theorem, closing the logical chain of theorems.