1994年，ThomassenC证明了每一个平面图是5-可选色的，于1995年，ThomassenC又证明了每一围长至少为5的平面图是3-可选色的．现用递推归纳......