五色定理与 Kempe 链交换

每个平面图都 5-可着色。直觉是「借颜色」：邻居把 5 色用光？查红-绿链——链不通就整段互换，腾出一种颜色给 v。