Från Rilpedia

Francis Guthrie, född 1831, död 1899. Formulerade 1852 den berömda fyrfärgssatsen som säger att det räcker med fyra färger för att färglägga områdena på varje karta på ett sådant sätt att ingen angränsande stat har samma färg.

Guthrie formulerade problemet som ung student och frågade sin bror Frederick som studerade matematik hos den berömde Augustus de Morgan vid University College i London. Brodern frågade i sin tur de Morgan som emellertid inte kunde ge något bevis av satsen. Fyrfärgssatsen var länge en obevisad hypotes men bevisades slutligen 1976 av Kenneth Appel och Wolfgang Haken vid University of Illinois.