最大度为6且不含5-圈或6-圈的平面图可8-全染色

• Every planar graph with maximum degree 6 and without 5-cycle or 6-cycle is totally 8-colorable