Finite-Dimensional Vector Spaces door