143
правки
Изменения
перевод на русский
Рассмотрим разрез, окружающий одну из двух компонент.
Пусть <tex>uv</tex> не минимально в разрезе, тогда существует <tex>ab \notin T</tex> такое, что <tex>w(ab) < w(uv)</tex>. При добавлении Рассмотрим <tex>\{ab</tex> в дерево <tex>\} \union T</tex> : некое ребро <tex>xy</tex>, такое что <tex>w(xy) \ge w(uv) < w(ab)</tex>, будет лежать на цикле. Противоречие условию теоремы.
Если <tex>uv</tex> минимально - добавим его в <tex>T'</tex>.
