En 1890, Heawood descubrió que el argumento de Kempe contenía un error, en ese paper él probó el teorema de los 5 colores, diciendo que cada mapa plano puede ser coloreado con, a lo más 5 colores, usando ideas de Kempe.