Изменения
→Критерий эйлеровости
|proof=
Необходимость мы доказали ранее. Докажем эту теоремудостаточность, используя индукцию по числу вершин <tex>n</tex>. Необходимость мы доказали ранее.
База индукции: <tex>n = 0</tex> цикл существует.