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

Theorem describing the dimension of spaces associated to the block matrices of the extended reduced row echelon form of a matrix

Put content here.