Por ejemplo, la primera demostración del teorema de los cuatro colores fue una demostración por exhaustividad con 1936 casos.