标签：这种“退让”有两个方向，一个是增强命题的条件，改为证明“五色足够”；另外一个“退让”的方向是减弱命题的结论，原来的命题是对任意有限多个国家的地图着色“四色足够”，现在减弱为对少数有限个国家的地图着色“四色足够”