Subsection II.1.2.2

Dimension of a vector space and its basis