This is a general truth:
In any graph, there is a circuit
containing every edge exactly once if
and only if every node touches an
even number of edges.