Изменения
→Теорема Кенига
''Достаточность.''
Рассмотрим двудольный граф. Начнем цикл в доли доле <tex> U </tex>. Нужно пройти по четному числу ребер, чтобы вернуться в <tex> U </tex> снова. Следовательно, при замыкании цикла число ребер будет четным.
''Необходимость.''