Ko je študent matematike Francis Guthrie ob barvanju zemljevida angleških grofij ugotovil, da je zemljevid samo s štirimi barvami mogoče pobarvati na način, da nobeni dve sosednji grofiji nista pobarvani z isto barvo, zelo verjetno ni vedel, da se je s tem rodil matematični problem, ki so ga uspeli dokazati šele več kot 100 let kasneje. In da bo to postal prvi matematični izrek, pri dokazu katerega so morali uporabiti računalnik. Uporaba računalnika je takrat vzbudila nekaj dvomov o tem, ali je to pravi dokaz ali ne. A potem, ko je bil ta dokaz večkrat temeljito preverjen, dvomov ni več. Zato danes namesto o problemu govorimo o »izreku« štirih barv.