Изменения

{{Лемма

|id=lemma1

|statement=Рассмотрим связный неориентированный взвешенный граф <tex> G = (V, E) </tex> с весовой функцией <tex>w : E \to \mathbb{R}</tex>.

Тогда после выполнения первой итерации алгоритма Борувки