Every planar map is four colorable - Appel, Kenneth I; Haken, Wolfgang (Contemporary mathematics, 98, 1989)