6.15 Integration by Substitution