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