Definition: 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: Ernst Kummer showed that non-unique factorization produced a fatal flaw in the work of Cauchy and Lam that could not be overcome for certain irregular primes. Gerhard Frey showed this problem's equivalence to the Taniyama-Shimura conjecture, which Ken Ribet proved in 1986, while three years earlier, Gerd Faltings showed it has a finite number of relatively prime solutions for n greater than or equal to 3. Finally, in 1995 Andrew Wiles proved, for ten points, what conjecture that there are no non-trivial positive integers such that x to the n plus y to the n equal z to the n for n bigger than 2
Output:
Science