Изменения
→Неориентированный граф
Рассмотрим вершину <tex>u</tex> со степенью больше 2. После удаления цикла <tex>c</tex> из графа степени всех вершин останутся четными,
при этом количество ребер в графе уменьшится. Для <tex>G - c</tex>, по предположению индукции, существует эйлеров цикл <tex>e</tex>.
Тогда в <tex>G</tex> тоже существует Эйлеров эйлеров обход - сначала обойти цикл <tex>c</tex>, начиная с вершины <tex>u</tex>, затем обойти <tex>e</tex>.
Переход доказан.
