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

The dimension of the domain of a surjective linear transformation is at least the dimension of the codomain.

Put content here.