Finite-Dimensional Vector Space