<br>Следовательно
<br><tex>\omega (A \cup y) = \omega (A) + \omega (y) = \omega (B)</tex>
<br><tex>\omega (A \cup y) = \omega (B)</tex><br>Таким образом получаем, что если объединить множество <tex>A</tex> с <tex>x</tex> - минимальным из таких, что <tex>A \cup x \in I</tex>, то получим множество минимального веса среди независимых подмножеств <tex>X</tex> мощности <tex>k + 1</tex>. <br>Теорема доказана.
}}
