我们用一个关于有向重图中尤拉迹的引理来证明这个定理。

• We shall deduce the result from a lemma about Euler trails in directed multigraphs.