Reduction of the 5-Flow Conjecture to cyclically 6-edge-connected snarks

We show that a smallest 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.