Solving Equations using Equality Properties of Addition ...