Every planar map is four colorable: Part I: Discharging

Open in new window