The commutative property used twice, one on each of the two additions.