1) Supongamos que los vectores generan un espacio vectorial , y los vectores son linealmente independientes en . Entonces .
Desde que generan a , todo vector en puede ser escrito como una combinación lineal de .
En particular, , con , e .
Por otra parte, como los vectores son l.i. (linealmente independientes) tenemos que , entonces no todos los son iguales a . Vale decir , para algún .
Luego, puede ser escrito como una combinación lineal de y los restantes (el resto de los vectores sin considerar el i-ésimo). Por lo tanto, el conjunto formado por los vectores , con reemplazado por genera a .
Ahora, si repetimos este paso veces más y concluimos que generan a .
Si estariamos en una contradicción respecto a la independencia lineal de los vectores , puesto que sería combinación lineal de .
Por lo tanto concluimos que
2) Todas las bases de un espacio vectorial finito dimensional contienen el mismo número de vectores.
Recordemos que una base es un conjunto finito de vectores que genera a un espacio vectorial y estos son linealmente independientes.
Consideremos dos bases de , e . Entonces por la demostración anterior tenemos que y . Luego concluimos que .