668
правок
Изменения
Нет описания правки
А так как <tex>|(B_1 \setminus b_1) \cup b_2| = |B_1| \:</tex> и <tex>B_1</tex> — база, то <tex>(B_1 \setminus b_1) \cup b_2 \in B_s</tex>, что и требовалось доказать.
}}
[[Категория:Алгоритмы и структуры данных]]
[[Категория:Матроиды]]
