Todo mapa planar é colorível com quatro cores | Synapse