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

Any linearly independent set can be expanded to a basis for the (sub)space

Put content here.