Изменения
→Теорема о существовании потенциальной функции
<tex>\Leftarrow </tex>: Рассмотрим произвольный <tex>C</tex> — цикл в графе <tex>G</tex>
:По лемме, его вес равен <tex> \omega(C) = \omega_\varphi(C) - + \varphi(u_0) - \varphi(u_0) = \omega_\varphi(C) \geqslant 0</tex>
<tex>\Rightarrow </tex>: Добавим фиктивную вершину <tex>s</tex> в граф, а также ребра <tex> s \to u </tex> весом <tex> 0 </tex> для всех <tex> u </tex>.
