Linear Algebra 10, Proof of associativity of addition of vectors