Teorema 3 : Jika V(F) ruang vektor yang dibangun oleh himpunan berhingga S dari vektor-vektor x1, x2, xn.

Maka himpunan bebas linier dari vektor-vektor di V adalah berhingga dan berisi tidak lebih dari n elemen-elemen. Bukti: Untuk membuktian ini cukup menunjukkan bahwa setiap subset dari V berisi lebih dari n vektorvektor yang bergantung linier. Jika mungkin, ambil untuk beberapa bilangan bulat positif m > n, himpunan S1 = { y1, y2, ,yn ,ym} menjadi bebas linier di V. Karena S = {x1, x2, , xn} membangun V,tiap elemen dari Vdigambarkan sebagai kombinasi linier dari elemen elemen di S. Khususnya y1 adalah kombinasi linier dari x1,x2, ,xn dan oleh karena itu himpunan S2 = {y1, x1 , x2, xn} Diperoleh dengan menggabungkan y1 ke himpunan S yang bergantung linier. Akibatnya terdapat sebuah vektor xk selain dari y1 dalam s2 yang digambarkan sebagai kombinasi linier dari vektor-vektor awal. xk digambarkan dalam bentuk Xk =
1.y1+ 1.x1+ i.x1+

k-1.xk-1

Untuk skalar-skalar 1, 1, 2, k-1 di F Karena S membangun V, tiap vektor x di V digambarkan dalam bentuk untuk skalar skalar   [dari (i)]
i

di F . (ii)

Menunjukkan bahwa sembarang elemen x di V digambarkan sebagai kombinasi linier dari y1,x1,x2, xk-1.xk+1... xn yang mana ekivalen pada pernyataan bahwa himpunan diperoleh dan mengeliminasi xk dari S2 yang membangun V. Maka menjadi S3 = {y1,x1,x2,,xk-1, xk+1, xn} Sekarang S3 membangun V dan y2 dan oleh karena itu himpunan V jadi y2 adalah kombinasi linier dari elemen-elemen di S3

S4 = { y2,y1,x1,x2,xk-1, xk+1, xn} adalah bergantung linier.

Dari tahapan diatas kita temukan bahwa himpunan diperoleh dengan mengeleminasi beberapa x1 (l>k) dari S4 membangun V. Kita mengulangi tahapan diatas dengan cara yang sama.Tiap langkah terdiri dari keluaran x dan masukan y dan himpunan yang dihasilkan setiap tahapan membangun V. Dengan demikian setelah n tahapan, kita mendapatkan himpunan {yn,yn-1,yn-2, y1} Membangun V dan oleh karena itu yn+1 adalah kombinasi linier dari yn, y1 yang menunjukkan kitapada kesimpulan bahwa himpunan {yn+1, yn, , y1} adalah bergantung linier. Dan demikian berlawanan dengan hipotesis bahwa S1 adalah bebas linier. Teorema 4 Jumlah dari elemen-elemen di dalam basis dari ruang vektor dimensi berhingga adalah sama seperti di basis lainnya. Bukti : jika V(F) ruang vektor dimensi berhingga dan jika S1 = {x1, x2, , xm} S2 = {y1, y2, , yn} Adalah 2 basis dari V maka kita tunjukkan bahwa m = n. Sekarang S1 basis dari V, tiap elemen dari V digambarkan secara tunggal sebagai kombinasi linier dari elemen elemen di S. Khususnya y1 digambarkan secara tunggal sebagai kombinasi linier dari elemen elemen di S dan oleh karena itu, himpunan S3 = {y1,x1,x2, , xm} Diperoleh dengan menggabungkan y1 ke S1 yang bergantung linier. Akibatnya terdapat sebuah vektor xk ,dimana y1 di S3 digambarkan sebagai kombinasi linier dari vektor vektor awal y1,x1,x2, , xk-1 Sekarang masing masing elemen dari V dapat digambarkan sebagai kombinasi linier dari x1,x2, , xk , xm

dan xk digambarkan sebagai kombinasi linier dari y1, x1, x2, ..., xk-1, xk+1, xm dengan kata lain himpunan S4 = {y1, x1 , x2, , xk-1,xk+1, xm} Diperoleh dengan mengeliminasi xk dari S3 yang membangun V. Sekarang S4 membangun V dan y2 V , Jadi y2 adalah kombinasi linier dari S4 dan oleh karena itu himpunan yang diproleh dengan menggabungkan y2 ke S4 yang bergantung linier dan menurut pendapat sebelumnya himpunan S3 = {y2,y1, x1 , x2, xk-1,xk+1,xl-1,xl+1 xm} Diperoleh dengan menggabungkan y2 ke S4 dan mengeliminasi beberapa vektor xl (l>k) dari S4 yang membangun V. Kita lanjutkan tahapan dengan cara diatas. Tiap tiap langkah terdiri dari masukan dari y dan keluaran dari x dan hasilnya himpunan yang membangun V. Sekarang semua dari x tidak dapat dikeluarkan sebelum y karena itu berarti bahwa sebuah subset yang terdapat dari S2 membangun V sehingga kontradiksi bebas linier dari S 2 , maka terbukti   

Sama halnya dengan perubahan aturan aturan basis, itu menunjukkan bahwa n maka terbukti n = m m