Con la terminología de la teoría de grafos, el teorema de cuatro colores establece que: