Der Fünffarbensatz wurde 1890 bewiesen von Percy John Heawood.. 1922 wurde bewiesen, daß jede aus fünfundzwanzig oder weniger Ländern bestehende Landkarte mit 4 Farben koloriert werden kann, 1926 27 Länder, 1938 31, 1940 35, Pause, 1970 39, final 96 bevor komplette Beweis (;wie ich schrieb 1976).
Wie hier erwähnt, wurden die unendlich vielen Fälle auf eine 4stellige Anzahl reduziert. Für Details mußt du dich dann schon selber bemühen. Die Dauer des Beweises und die Dauer der Erkennung der Fehler von den vielen Fehlbeweisen läßt vermuten, daß es schwierig und zeitaufwendig ist. Man könnte nun Begriffe erwähnen wie Graphentheorie und Topologie. Ich denke es gibt wohl auch Bücher, jedenfalls nützen die Bücher nichts, wo der Beweis nur auf paar Seiten (z.B. 10) erwähnt wird, da habe ich schon meine mal durchgeguckt. Bleibt nur Bibliothek oder almighty internetz, denke nicht das du hier im Forum einen findest, der genau deine Frage beantworten kann.