Teorema limong warna, yeng na bukti dasai tuet, meukhen bahwa limong cukop untuk meuwarnai peta ngen teubukti bak akhe abad keu-19; namun, meubuktikan bahwa peut boh warna cukop teunyata joh lubeh sulet.