Substitution with definite integrals