Formal connection between differentiation and integration through the evaluation of definite integrals using antiderivatives. Addresses both parts of the theorem to solve area problems and calculate rates of change.