Now you are in the subtree of Container for Linear Algebra project. 

Adjoining an element not in the span of a linearly independent set gives another linearly independent set.

Put content here.