"The Wiles proof is a master symphony of the major mathematical themes that have evolved in this century: Hecke's theory of modular forms, Artin L-functions, Grothendieck's theory of schemes, the theory of ℓ-adic representations and the Tate module, the Langlands program, Serre's p-adic modular forms, the Eichler-Shimura theory, Iwasawa theory and its generalizations by Coates to elliptic curves, Kolyvagin's Euler systems. The list is by no means exhaustive, to say the least. As Barry Mazur has so aptly put it, "Not to mention the proof, the names alone of the major contributors will not fit into any margin." It is indeed very satisfying to see the evolution of such mathematical ideas."