Mais vetores do que geradores: a lista é LD

Se \(V\) é gerado por \(m\) vetores, quaisquer \(m+1\) vetores de \(V\) são LD. Em particular, quaisquer \(n+1\) vetores de \(\R^n\) são LD, e quaisquer \(n+2\) polinômios de \(\Pol{n}\) são LD.