Linear 1 5 Direct sum definition Uniqueness of vector spaces sum lemma Span definition Span cannot exceed vector space lemma