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