Deakstadieđáhus: Finite-dimensional vector spaces