commutative property of multiplication
a*b = b*a.