We give a compact variation of Seymour's proof that every 2-edge-connected graph has a nowhere-zero Z₂ Z₃-flow.
DeVos et al. (Fri,) studied this question.