Arithmetic properties: Commutative property