设G=（V，E）是一个边色数为4的3-正则图，c：E→{1，2，3，4}是G的一个正常4-边着色．设Ei={（e∈E｜c（e）=i}，D（c）=min{｜Ei｜｜i=1，2，3，4}．记C（G）为G的所有正常4-边着色组......

设Fk^＊是满足以下条件的3-正则2-连通平面图G所组成的图类，在G中存在这样的圈C，使得G—E（C）产生k个不相交的树T1,..., Tk （｜E（Ti）｜≥3, i = 1......