Definition:Euler's Third Substitution