Theorem PSSD Proper Subspaces have Smaller Dimension

Suppose that $U$ and $V$ are subspaces of the vector space $W$, such that $U\subsetneq V$. Then $\dimension{U}<\dimension{V}$.

Proof
(in context)