Let W 1 and Wo be finite-dimensional subspaces of a vector space V, and let V = W, + W2. Deduce that V is the direct sum of W, and W, if and only if dim(V) = dim(Wj ) + dim(W2)