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

Created over 8 years ago