A six-color theorem for the edge-face coloring of plane graphs

It was shown (Kronk and Mitchen, 1973) that the set of vertices, edges and faces of any normal map on the sphere can be colored with seven colors. In this paper we solve a somewhat different problem: the set of edges and faces of any plane graph with Δ ⩽ 3 can be colored by six colors.