Let $k$ be a field, let $V$ be a [finite-dimensional vector space](/page/Finite-Dimensional%20Vector%20Space) over $k$, and let $W \subset V$ be a $k$-linear subspace. Then $W$ is finite-dimensional and
paragraph
admin
\begin{align*}
\dim_k W \leq \dim_k V.
\end{align*}