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