Associative law of vector addition