Thus, whenever there exists a matching M ∗ {\displaystyle M^{*}} larger than the current matching M {\displaystyle M} , there must also exist an augmenting path.
Итак, если существует паросочетание M ∗ {\displaystyle M^{*}} , большее текущего паросочетания M {\displaystyle M} , также должен существовать увеличивающий путь.