Finite-dimensional_subspace Definition Every subspace of a finite-dimensional_vector_space is finite-dimensional. Proof