|statement=Рассмотрим связный неориентированный взвешенный граф <tex> G = (V, E) </tex> с весовой функцией <tex>w : E \to \mathbb{R}</tex>.
Тогда после выполнения первой итерации алгоритма БорувкиПусть <tex>T<\tex> = <tex>{uv \in E : min[u] = uv ||aboutmin[v] = Утверждаем что после первой итерации алгоритма Борувки, получившееся множество ребер можно достроить до MST.uv}</tex>
