O documento discute a conjectura de que quatro cores são suficientes para colorir um mapa de país sem que estados vizinhos tenham a mesma cor. Ele resume as provas dessa conjectura ao longo dos anos para mapas com diferentes números de países, culminando na prova final de Appel e Haken em 1976 que quatro cores são suficientes para colorir o mapa do Brasil.