section_heading: Steinitzov teorem
paragraph_text: Dokaz. Netrivijalni konačnogenerirani vektorski prostor <math>V</math> ima bazu. Neka su sada <math>B_1, B_2 </math> bilo koje dvije baze prostora <math>V</math>. Označimo <math> B_1 = n_1, \text{card}B_2 = n_2 </math> (<math>\text{card}B</math> je kardinalni broj skupa <math>B</math>, dakle broj elemenata tog skupa).