Notice that when and , we have . Does this show that there is a commutative property for subtraction?