Ebener Graph/Sechs Farben/Fakt/Name/Inhalt

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