1.NBT.4.a.3: properties of operations