Изменения
Нет описания правки
|proof=
1) Следует из первой аксиомы [[Определение матроида|определения матроида]]. <br>
2) Из теоремы о равномощности баз следует, что \neg <tex>B_1 \neg \subset B_2</tex> и \neg <tex>B_2 \neg \subset B_1</tex>.
А с условием <tex>B_1 \ne B_2</tex> получаем <tex>B_1 \nsubseteq B_2</tex> и <tex>B_2 \nsubseteq B_1</tex>. <br>
3) По второй аксиоме [[Определение матроида|определения матроида]] <tex>\forall b_1 \in B_1</tex> верно, что <tex>(B_1 \setminus b_1) \in I</tex>. <br>
