Изменения
→Доказательство
== Доказательство ==
{{Лемма
|statement= Алгоритм отработает за конечное время
|proof= Не теряя общности, будем считать, что граф связен. Тогда в конце работы алгоритма все вершины окажутся в <tex>M_0</tex>. PROFIT!!
}}
== Сложность ==
