This lesson focuses on map coloring and the problem of proving that 4 colors would work for all maps. Francis Guthrie had to color a map of counties in England. He observed that four colors seemed to suffice for any map he tried, but he was not able to find a proof that worked for all maps. This turned out to be an extremely difficult problem, and became known as the four color theorem.