9.7 Solving linear inequalities