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

Лемма:

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