Изменения

#: Получаем: <tex>|B| \leqslant |A| + |C_1 \setminus A| - 1 + |C_2 \setminus A| - 1 = |C_1 \cup C_2| - 2 = |D| - 1</tex>. А поскольку <tex>|B| = |D|</tex> получаем противоречие.

}}

== Источники информации ==

* [[wikipedia:ru:Матроид#Аксиоматическое определение | Википедия {{---}} Матроид]]

[[Категория:Алгоритмы и структуры данных]]

[[Категория:Матроиды]]

[[Категория:Основные факты теории матроидов]]