Suppose U1,…,Um are finite dimensional subspaces of V. Prove that U1+⋯+Um is finite dimensional and
dim(U1+⋯+Um)≤dimU1+⋯+dimUm
Let u1j,…,udimUjj be a basis of Uj for all 1≤j≤m. Concatinating all the bases gives a list of length dimU1+⋯+dimUm which spans U1+⋯+Um thus it's finite dimensional. Then apply 2.31 to remove dependent vectors until we have a basis for U1+⋯+Um. Thus
dim(U1+⋯+Um)≤dimU1+⋯+dimUm