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

A set of nonzero vectors contains (as a subset) a basis for its span.

Put content here.