section_heading: Steinitzov teorem
paragraph_text: Kako je <math>B_1</math> linearno nezavisan skup, a <math>B_2</math> je sustav izvodnica, slijedi <math>n_1 \leq n_2</math>. Obrnuto, kako je <math>B_2</math> linearno nezavisan skup, a <math>B_1</math> je sustav izvodnica, vrijedi <math>n_2 \leq n_1</math>. Očito mora biti <math>n_1 = n_2</math> pa su dvije baze zaista jednakobrojne.