You will be given a definition of a task first, then some input of the task.
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.

Miyaoka falsely proved the Bogomolov-Miyaoka-Yau Inequality in 1988, which would have held this statement true for large exponents. Vandiver's criteria decides whether it is satisfied by an irregular prime, while Germain showed that it holds for odd prime "p" if "2p + 1" is prime. Ken Ribet showed that proof of the Taniyama-Shimura conjecture could prove it, and the replacement of elliptical curves by Galois representations was used by Andrew Wiles complete its proof in 1995. FTP, name this theorem which states that the sum of "x to the nth power" and "y to the nth power" has no integral solutions to equal "z to the nth power" for "n" greater than 2, the final theorem by its namesake Frenchman.
Output:
Science