Изменения
Нет описания правки
|proof=
1) Следует из первой аксиомы [[Определение матроида|определения матроида]]. <br>
2) Из теоремы о равномощности баз следует, что <tex>\neg (B_1 \subset B_2)</tex> и <tex>\neg (B_2 \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>
