Vector space/Dimension n and n vectors/Equivalences/Fact/Proof/Exercise