Dimension Formula for the Sum of Two Subspaces