Następnie przyjmuje się aktualnie zdjęty ze stosu wierzchołek za wierzchołek początkowy i powracając w do kroku 4 wywołuje się rekurencyjnie algorytm znajdujący trasę Eulera dla spójnej składowej. Każda taka podtrasa jest właściwą trasą Eulera, która prowadzi z powrotem do wierzchołka na ścieżce cyklicznej, na której się rozpoczęła, co wynika z indukcyjnego założenia dowodu.
Każda podtrasa może się zetknąć ze ścieżką cykliczną wiele razy. W takim przypadku jednak każdą podtrasę i tak przemierza się tylko jeden raz – wtedy, kiedy się na nią wejdzie.
Linki zewnętrzne
Fleury