Every planar map is for colorable (1977)

by K Appel, W Haken
Venue:Part I. Discharging”, Illinois J. Math