Teorema lima warna nang memiliki bukti dasar pendek, menyatakan bahwa lima warna cukup gasan mewarnani peta wan tebukti pada akhir abad ke-19; tetapi membukti akan bahwa empat warna cukup sekalinya liwar ngalihnya.