Every planar map is four colorable: Part I: Discharging

Appel, K., Haken, W.

Classics 

Illinois J. Math., 21, 429–490