Brooks证明了:若G是连通的简单图,并且它既不是奇圈,又不是完全图,那么它的色数至多为△(G),其中△(G)为图G的最大度.它可以推出嵌入到Klein瓶上的任意的一个6-正则图的色数至多为6.通过对Klein瓶上的6-正则嵌入图的结构分析,证明了Klein瓶上的任意的一个6-正则嵌入图的色数为5.