User:TakuyaMurata/Langlands–Tunnell theorem

In number theory, the Langlands–Tunnell theorem, proved by Langlands and Tunnell, states that blah blah is modular.

The most famous application is to Wiles' proof of Fermat's last theorem.