“…After deleting a bounded number of vertices, we may also assume that every vertex has red degree at least
, which implies that the remaining graph is connected. By Szécsi [
3, Theorem 1.3], which says that any connected graph with average degree
contains a trail of length
, this then implies that there is a red trail of length at least
, as required. Since the component containing this trail is Eulerian, we also have a red circuit of at least the same length.…”