Teorema celor patru culori
De la Wikipedia, enciclopedia liberă
Teorema celor patru culori a fost prima teoremă demonstrată cu ajutorul calculatorului.
Teorema spune că orice hartă (politică) poate fi colorată folosind doar patru culori, în aşa fel incât să nu existe două state cu graniţe comune şi care sa fie colorate la fel.