Application of the Four-Color Theorem for Coloring a City Map. bjami 2020, 3 (1), pp. 25-36.