Falsch, dort findet man nicht den Beweis, hast Du das Buch gelesen? Unsere Graphentheorievorlesungen basierten teilweise auf dem Buch. Es gibt bisher keinen Beweis ohne Computerhillfe. Der Computer wird benötigt, um die unzähligen (tausende) Ausnahmestrukturen handeln zu können.

Einer der falsche Beweise des Vierfarbensatzes (hat Lücken) lässt einen schon ahnen, womit man es zu tun hat. (Ich meine mich zu erinnern, das ein falscher Beweis in dem Buch steht und auch erklärt wird, warum er falsch ist, dass es aber der richtige Weg wäre, auf dem andere dann mit Hilfe des Rechners ihren Beweis aufbauten.)