learning about the four-color theorem