Commutative and Associative Properties of Subtraction