text: Теперь докажем, что хотя бы одна вершина добавится к Z. Рассмотрим ребро, на котором достигается минимум min { c ( i , j ) − y ( i ) − y ( j ) : i ∈ Z ∩ S , j ∈ T ∖ Z } {\displaystyle \min\{c(i,j)-y(i)-y(j):i\in Z\cap S,j\in T\setminus Z\}} .