It's interesting to note that the theorem that any map requires four colors to color it only applies to planar and spherical maps. For instance, a map drawn on a torus may require seven colors, but never more than that; a map drawn on a double torus requires no more than eight. Proving these unusual topological cases was actually done long before the four color theorem could be proved.
See also the four-color theorem