Vector space/Finitely generated/Dimension/Introduction/Section