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

Theorem characterizing when a space is the direct sum of two subspaces

Put content here.