  We proved that the dimension of the F-vector space J#(G) for a plane
trivalent graph G, defined by Kronheimer and Mrowka using their SO(3) instanton
Floer homology, is equal to the number of Tait colorings of G.
