Solution of the Heawood Map-Coloring Problem | Synapse