Suppose $U$ is a subspace of $V$ such that $V/U$ is finite-dimensional. Prove that there exists a subspace $W$ of $V$ such that $\dim W = \dim V/U$ and $V = U \oplus W$.

TODO