Ebener Graph/Sechs Farben/Fakt

Sechs-Farben-Satz

Für jeden ebenen Graphen

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

Zum Beweis, Alternativen Beweis erstellen