Además del teorema de los cuatro colores, otros ejemplos de grandes pruebas por exhaución son: