Five-Coloring Maps on Surfaces

For every surface S there exists a natural number n(S) such that every map drawn on S can be colored using live colors only provided every simple noncontractible closed curve on the surface contains at least n(S) border points of the map. This proves a conjecture of M. O. Albertson and W. R. Stromquist. There is no four-color theorem of this type.