Solving equations with properties of equality