Vector Addition Commutativity Axiom