Every planar map is four colorable: Part I: Discharging