[9.2] Algebra Solving