This theorem states that every subspace of a [finite-dimensional vector space](/page/Finite-Dimensional%20Vector%20Space) is finite-dimensional and has dimension at most the ambient space. It also gives the usual equality case: a subspace with the same dimension as the ambient space is the whole space.