Изменения

Таким образом получаем, что если объединить множество <tex>A</tex> с <tex>x</tex> — минимальным из таких, что <tex>A \cup x \in I</tex>, — то получим множество минимального веса среди независимых подмножеств <tex>X</tex> мощности <tex>k + 1</tex>.

}}