Stav dette: Map coloring, polyhedra, and the four-color problem