linalg2: prove the inclusion/exclusion for two subspaces. also characterize sums of subspaces as the set of all sums of vectors in the subspaces