Изменения
→Пояснения к доказательству
[[Файл:aba.gif|600px|thumb|right|Пример]]
Пусть было построено паросочетание размером 3(синие ребра).
Добавляем вершину с номером 4.
Во множество <tex>H</tex> вошли вершины с номерами 1, 3, 4, 5, 7, 8.
Ненасыщенная вершина из правой доли всегда найдется(в примере вершина с номером 8), т.к иначе получаем противоречие:
# В <tex>H_R</tex> входят только насыщенные вершины.
# <tex>N(H_L) = H_R</tex>
# В <tex>H_L</tex> по карйней мере <tex>H_R+1</tex> вершин("соседи" по паросочетанию для каждой вершины из <tex>H_R</tex> и ещё одна вершина, которую пытаемся добавить).
Цепь {4, 7, 3, 8} является удлиняющей для текущего паросочетания.
Увеличив текущее парасочетание вдоль этой цепи, мы насытим вершину с номером 4.
==Примечания==
