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

Theorem: a set of vectors is linearly independent if and only if whenever a linear combination is 0

Put content here.