Buktikan teorema enam warna: setiap graf planar memiliki bilangan kromatik paling banyak 6. Jangan mengasumsikan teorema empat warna (yang pembuktiannya JAUH lebih sulit), tetapi Anda boleh mengasumsikan fakta bahwa setiap graf planar memuat sebuah simpul berderajat paling banyak 5.