Task: Text Categorization
Input (English): This idea was thought to be first suggested by Francis Guthrie, giving it an alternative name, though Arthur Cayley may have been the first to address it. An attempt to prove this theorem was the Kempe algorithm, and the Heawood conjecture degenerates into it when the genus of the space is zero. It was eventually proven by Haken and Appel in 1976 using computer-generated configurations. For 10 points, identify this theorem stating that a map may be filled with a certain sufficient number of colors such that adjacent regions are different colors.
Output (English): Science