Task: Text Categorization
Input (English): 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 (English): Science