Keturių spalvų teorema
Keturių spalvų teorema (arba Keturių spalvų žemėlapio teorema) – matematinė teorema, teigianti, kad norint bet kokį į bet kiek regionų suskirstytą planą (žemėlapį) nuspalvinti taip, kad du šalia esantys regionai niekada nebūtų vienodos spalvos, užtenka keturių skirtingų spalvų. „Šalia esantys“ šiuo atveju reiškia besiliečiantys kraštais, t. y. ne tik viename taške. Be to, kiekvienas regionas turi būti vientisas. Keturių spalvų teorema buvo pirmoji teorema, įrodyta pasitelkiant kompiuterį. Jos įrodymą pripažįsta ne visi matematikai, kadangi jį nėra lengva pakartoti žmogui rankiniu būdu. Kitaip tariant, kad įrodymas būtų laikomas patikimu, taip pat reikia patikimomis laikyti ir pagalbines įrodinėjimo priemones: kompiuterį, programinę įrangą ir panašiai.