The commutative property used twice, once on each of the two multiplications