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

If two finite dimensional subspaces have the same dimension and one is contained in the other

Put content here.