Dimension of a Direct Sum