text: Если M {\displaystyle M} — паросочетание и P {\displaystyle P} — увеличивающий путь в M {\displaystyle M} , то симметрическая разность двух множеств рёбер M ⊕ P {\displaystyle M\oplus P} является паросочетанием размера | M | + 1 {\displaystyle |M|+1} .