Tutte's 5-flow conjecture.

Here e(X,Y) and e'(X,Y) respectively denote the number of edges in G and oriented edges in G' between X and Y.

The conjecture is sharp for the Petersen graph.

Paul Seymour proved it with 6 in place of 5.