The commutative property of multiplication