Solving by Elimination, Solving by Substitution