Instructions: In this task you will be given a text passage from a trivia quiz. You should choose the category this question belongs to from these categories: History, Science, Social Science, Fine Arts, Literature. You can only choose one category, so if in doubt, please choose the closest match.
Input: 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:
Science