Now you are in the subtree of Container for Linear Algebra project. 

The dimension of a direct sum of subspaces is the sum of the dimensions of the subspaces.

Put content here.