Again, I will assume that means the direct sum of vector spaces, as in the Cartesian product.

For simplicity sake, I will work with only two vector spaces. . And the more general case will follow easily and similarly.

I did not confirm this because of laziness, but I believe that if is a basis for , and is a basis for . Then, isnot necessarilya basis for butit isa spanning set of vectors. And hence, since the size of the basis is less than the size of the spanning set we have,

Because is the size of spanning set and is the size (cardinality) of the dimension (basis) of those spanning vectors.