Every planar map is four colorable - Appel, Kenneth I. 1932-2013; Haken, Wolfgang 1928-2022 (American Mathematical Society, 1989)