Four color theorem

The Four Color Theorem is a famous result in mathematics and graph theory stating that, given any arrangement of regions on a plane (such as a map), four colors are sufficient to color the regions such that no two adjacent regions share the same color. Adjacent regions are those that share a common boundary, not just a point. The theorem was first proposed in 1852 by Francis Guthrie and was proven in 1976 by Kenneth Appel and Wolfgang Haken.