The commutative property used twice, once on each addition