𝘶-substitution: definite integrals