Изменения
→Доказательство корректности
{{Лемма
|id=lemma1
||statement=утверждениеРассмотрим связный неориентированный взвешенный граф <tex> G = (V, E) </tex> с весовой функцией <tex>w : E \to \mathbb{R}</tex>.Тогда после выполнения первой итерации алгоритма Борувки|about= Утверждаем что после первой итерации алгоритма Борувки, получившееся множество ребер можно достроить до MST.
|proof=доказательство (необязательно)
}}
