Изменения

Очевидно, что путь из <tex>s</tex> в <tex>t</tex> является дополняющей цепьюдля исходного графа <tex>G</tex>. Тогда корректность алгоритма следует из [[Теорема о максимальном паросочетании и дополняющих цепях|теоремы Бержа]].