Merkitys
- 1.(Matematiikka)teoreema, joka kertoo, että jokainen tason kartta voidaan värittää neljällä värillä siten, että kahta vierekkäistä aluetta ei väritetä samalla värillä
Liittyvät sanat
Esimerkkilauseet
Kempen esittämiä merkittäviä todistusideoita olivat väistämättömyys () ja redusoitavuus (). Näitä käyttivät myös Kenneth Appel ja Wolfgang Haken, kun he lopulta vuonna 1976 onnistuivat todistamaan nelivärilauseen käymällä läpi suuren määrän väistämättömiä asetelmia tietokoneen avulla.
Neil Robertsonin tutkimusryhmä todisti nelivärilauseen uudelleen 1994, tälläkin kertaa tietokoneavusteisesti.