[A.REI.10] Reasoning With Equations and Inequalities #10