Tag: commutative property of subtraction