1852-ben, Angliában Francis Guthrie matematikus megpróbálta Britannia térképét kiszínezni. Ekkor botlott a problémába: Legkevesebb hány szín elegendő egy tetszőleges térkép kiszínezéséhez? Az hamar kiderült, hogy három szín biztosan nem elegendő. Úgy tűnt számára, hogy négy szín már elegendő. Guthrie a problémát megfogalmazta, de megoldani nem tudta. A négyszínsejtés bizonyítását előszörTovább