Sum of Subspaces Is a Subspace