任何一个平面图，可以用四种颜色给它的顶点着色，使得任何两个相邻的顶点所着的颜色不同