u-substitution: definite integrals