You can get some way there with a proof of the five-color theorem, though, which is much simpler. There’s also a good popular overview of the history of the pr

You can get some way there with a proof of the five-color theorem, though, which is much simpler. There’s also a good popular overview of the history of the problem in the book “Four Colors Suffice” by Robin Wilson.