Proposition (Dependence Lemma)
Let V be a vector space and suppose that v1ā,..,vkāāV are linearly dependent. There is a jā{1,...,k} such that (a) vjāāspan(v1ā,...,vjā1ā), and (b) span(v1ā,...,vjā1ā,vj+1ā,...,vkā)=span(v1ā,...,vkā)