Ebener Graph/Fünf Farben/Fakt

Fünf-Farben-Satz

Für jeden ebenen Graphen

besteht eine zulässige Färbung mit höchstens fünf Farben.