(related to Corollary: Abelian Group of Vectors Under Addition)

- By definition, the set of (column) vectors $F^n$ is identical with the set of all single-column matrices $M_{m\times n}(F)$ over a field $F$.
- Therefore, the proof follows immediately from the proof of the corresponding proposition for matrices.∎