Now you are in the subtree of Math public knowledge tree. 

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

Put content here.