Cualquier mapa geográfico con regiones continuas puede ser coloreado con sólo cuatro colores   diferentes, de forma que no queden regiones fronterizas (sólo un punto no cuenta) con el mismo color, como explica muy bien mati en sus mateaventuras. La conjetura de los 4 colores nació en 1852. Pronto se demostró que con 3 colores no bastaba y con 5 sí, pero no se encontró prueba teórica para los 4 colores. Kennenth Appel y Wolfgang Haken lo demostraron comprobando todos los casos posibles por ordenador, como nos cuenta Juan Guirado, en un trabajo que habría costado  100.000 años a 60 horas semanales.  Fue el primer teorema demostrado por computadora.