イングランドの地図をカウンティごとに色分けしようとしたフランシス・ガスリーは、4色あればどの境界線も両側が同じ色になることがないよう色分けできることに気づき、四色定理を主張した。
1852年，古德里在绘制英格兰分郡地图时，发现许多地图都只需用四种颜色染色，就能保证有相邻边界的分区颜色不同。