Văn bản này: Finite-dimensional vector spaces