Ebener Graph/Vier Farben/Fakt

Vier-Farben-Satz

Für jeden ebenen Graphen

besteht eine zulässige Färbung mit höchstens vier Farben.