Theorem SSLD Spanning Sets and Linear Dependence

Suppose that $S=\set{\vectorlist{v}{t}}$ is a finite set of vectors which spans the vector space $V$. Then any set of $t+1$ or more vectors from $V$ is linearly dependent.

Proof
(in context)