Лемма о единственном паросочетании в подграфе замен, индуцированном кратчайшим путем

Лемма:

Пусть [math]G[/math] — граф замен, тогда в его подграфе, индуцированном кратчайшим путем [math]s \rightsquigarrow t[/math], существует единственное полное бракосочетание.