Bouchet's conjecture for cyclically 5-edge-connected, cubic signed graphs

A 1983 conjecture of Bouchet states that every flow-admissible signed graph has a nowhere-zero six-flow. We prove this conjecture for cyclically five-edge-connected, cubic signed graphs.