El teorema de los cinco colores, que tiene una prueba elemental corta, afirma que cinco colores son suficientes para colorear un mapa y se demostró a finales del siglo XIX; sin embargo, demostrar que cuatro colores son suficientes resultó ser significativamente más difícil.