Every elliptic curve over ℚ is modular: L(E,s) = L(f,s) for weight-2 newform f. Wiles-Taylor 1995 (FLT); full BCDT 2001.