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