Definite Integration by Substitution (Maths Extension 1)