"modularity theorem" . "Linear congruence theorem" . . . "Taniyama-Shimura conjecture" . . . "all elliptic curves defined over the rational numbers are modular" . "Modularity theorem" . . "Shimura\u2013Taniyama conjecture" . . "Modularity theorem" . "Shimura-Taniyama-Weil conjecture" . "modularity conjecture" . . . "Taniyama\u2013Shimura\u2013Weil conjecture" . . . . . . . . . . . . "Taniyama\u2013Shimura conjecture" . . .