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.