11.3 Integration by substitution