6.09 Integration by Substitution (with bounds)