Ebener Graph/Vier Farben/Fakt/Name/Inhalt

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