"A proof of a form of the Taniyama-Shimura conjecture would also
prove Fermat's Last Theorem. In the 1990s, Andrew Wiles, then also at
Princeton, figured out how to do just that, and Fermat's Last Theorem
had finally been proved true.

Dr. Wiles, now at the University of Oxford in England, wrote in an
email that the Taniyama-Shimura conjecture was "a fundamental pivot
in the proof of Fermat's Last Theorem." The proof also employed other
key results of Dr. Shimura's research, he said."