Fue el primero en enunciar el teorema de los cuatro colores en 1852.