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

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

Put content here.