Finite-Dimensional Vector Spaces