Justifying the Steps in Solving 1-Variable Inequalities (4.6)