394
правки
Изменения
→Пояснения к доказательству
Добавляем вершину с номером 4.
Во множество <tex>H </tex> вошли вершины с номерами 1,3,4,5,7,8.
Ненасыщенная вершина из правой доли всегда найдется(в примере вершина с номером 8), т.к иначе получаем противоречи:
Увеличив текущее парасочетание вдоль неё мы насытим вершину с номером 4.
==Примечания==