Vector Addition Axiom