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