Изменения
Нет описания правки
Рассмотрим произвольный путь <tex>P = (v,w)</tex>. Пусть <tex>G_1 = G/P</tex>. Возможны 2 случая:
# 1. Если <tex>v = w</tex>, то <tex>P</tex> {{---}} цикл, значит степени всех вершин в <tex>G_1</tex> остались четными <tex>\Rightarrow</tex> <tex>G_1</tex> {{---}} эйлеров.<br># 2. если Если <tex>v \neq w</tex>, то так как <tex>G</tex> эйлеров граф <tex>\exists</tex> эйлеров путь <tex>(w,v) \in G_1</tex>.
Покажем, что в обоих случаях эйлеров обход пройдет по всем ребрам <tex>G_1</tex>.
