Teorem o četiri boje

Karta nekog područja je dobro obojana ako bilo koja dva područja koja imaju zajedničku granicu (brid) nisu obojana istom bojom. Pri tome ako dva područja imaju zajedničku samo jednu točku (vrh) mogu biti obojani istom bojom.On se još naziva "teorem četiri boje". Matematičari de Morgan i Keli postavili su 1850. godine teorem četiri boje. Može li se svaka geografska karta u ravni ili na sferi obojiti s najviše četiri boje tako da zemlje sa zajendničkom granicom ne budu obojene istom bojom.To su dokazali 1976. Apel i Haken.Za dokaz im je trebalo 1200 sati na računalu.