La primera demostración del teorema de los cuatro colores fue una prueba por exhaución con 1.936 casos.