Ebener Graph/Vier Farben/Fakt
Vier-Farben-Satz
Für jeden
ebenen Graphen
besteht eine
zulässige Färbung
mit höchstens vier Farben.
Einen Beweis erstellen