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

Created almost 9 years ago