SMS dit: Finite-dimensional vector spaces