Изменения

Сначала убедимся в том, что перед нами действительно матроид. Фактически нуждается в проверке лишь тот факт, что если <tex>A</tex> и <tex>B</tex> независимые множества и <tex>|B| = 3</tex>, <tex>|A| = 4</tex>, то в <tex>A</tex> найдется такой элемент <tex>e</tex>, что <tex>B \cup \{e\}</tex> {{---}} независимое множество. Когда <tex>B \subset A</tex>, это очевидно. В противном же случае множество <tex> A \setminus B</tex> содержит по меньшей мере два различных элемента. Обозначим их через <tex>e1</tex> и <tex>e2</tex>. Теперь осталось заметить, что из множеств <tex>B \cup \{e1\}</tex> и <tex>B \cup \{e2\}</tex> хотя бы одно независимое, так как по условию нет двух зависимых множеств из