5.2 Solving by Substitution