Suppose that U is a subspace of V such that V/U is finite-dimensional.
(a) Show that if W is a finite-dimensional subspace of V and V=U+W, then dimW≥dimV/U.
(b) Prove that there exists a finite-dimensional subspace W of V such that dimW=dimV/U and V=U⊕W.