En coloración de grafos, una subárea de la teoría de grafos, la resolución de este problema constituye además el primer teorema de los grafos planares.