The commutative law of addition can be used to rearrange terms into any preferred order.

The fact that addition is commutative is known as the "commutative law of addition".

Reinforces addition and subtraction as inverse, and the commutative law of addition.

Remarks (i) The axiom A1 is called the commutative law of addition in Z: M1 is the commutative law of multiplication.