We show that the smallest possible counterexample to the 5-Flow
Conjecture of Tutte (every bridgeless graph has a nowhere-zero
5-flow) must be a cyclically 6-edge-connected cubic graph.
