Item 4.7.21.c.

Every bipartite graph has an Euler path.

in-context