Dimension Formula For Subspace Sums