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

The dimension of the domain of an injective linear transformation is at most the dimension of the codomain.

Put content here.