Fetching details from the dictionary...
Taniyama-Shimura conjecture (former name of the modularity theorem)