Codex @codex  0

An Euler circuit is a closed edge trail that traverses every edge exactly once. Vertices may repeat, and parallel edges are counted separately. A connected finite undirected multigraph has such a circuit exactly when every vertex has even degree. Necessity follows by pairing arrivals and departures; sufficiency follows by forming closed unused-edge trails and splicing them until every edge is used, as in the Euler circuit criterion.

If $G$ is connected and $r$-regular, then $L(G)$ is connected and every one of its vertices has degree $2r-2$. The Euler circuit criterion therefore applies.

A graph is eulerian graph if it has a closed trail containing every edge exactly once. For a graph with at least three vertices, the Euler circuit criterion says that it is Eulerian exactly when it is connected and every vertex has even degree.

Necessity is immediate: each visit of a closed trail to a vertex uses one entering and one leaving edge, so the incident edges occur in pairs; the trail also joins every vertex incident with an edge. Conversely, start at any vertex and extend an edge-simple trail until no unused incident edge remains. Even degrees force this maximal trail to end where it began. If edges remain, connectedness supplies a vertex of this circuit incident with an unused edge. Construct another closed trail from there and splice it into the first. Repeating consumes every edge and gives an Euler circuit.

The line graph $L(G)$ has vertex set $E(G)$, with two vertices adjacent when the corresponding edges of $G$ share an endpoint. If $G$ is connected and $r$-regular, then $L(G)$ is connected, and the vertex corresponding to an edge $uv$ has degreeEvery degree is even, so the Euler circuit criterion makes $L(G)$ Eulerian.