Kto udowodnił "twierdzenie o czterech barwach", twierdząc, że do map można użyć co najwyżej czterech kolorów?

Erwin, że przy dowolnym układzie państw na mapie wystarczą 4 (max) kolory, aby sąsiednie państwa miały różne od siebie kolory.

ale o co chodzi?