Dimension Formula for Two Subspaces