Finite-Dimensional Vector Spaces by