(P1) Commutative Law for Addition. .
Derivation of Property (P1).
(c) 2006 John H. Mathews, Russell W. Howell