谷山志村予想

たにやましむらよそう

Taniyama-Shimura conjecture (former name of the modularity theorem)