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