Four Colors Suffice: How the Map Problem Was Solved
