Ebener Graph/Fünf Farben/Fakt/Name/Inhalt

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