Does Fermat's Last Theorem imply the modularity theorem? The Wikipedia article on the proof of Fermat's Last Theorem has this sentence

If the link identified by Frey could be proven, then in turn, it would mean that a proof or disproof of either of Fermat's Last Theorem or the Taniyama–Shimura–Weil conjecture would simultaneously prove or disprove the other.

This suggests FLT and the modularity theorem are equivalent. While the fact that the modularity theorem implies FLT was a rather important part of Wiles' proof, I wasn't aware the reverse implication was true. Is it?
 A: This discussion seems to me a bit weird. Let us recall the facts:
1) The Shimura-Taniyama-Weil conjecture (now a theorem of Wiles et. al.) states that any elliptic curve $E$ defined over $\mathbf Q$ is "modular". This means roughly that the Hasse-Weil L-function $L_E(s)$ attached to $E$ comes from an L-function L$(f_E,s)$ attached to a certain modular form $f_E$. More precisely, let $f_E$ be the inverse Mellin transform of $(2\pi)^{-s}\Gamma(s)L_E(s)$; then $f_E\in S_2(\Gamma_0 (N))$, where $N$ is the conductor of $E$ and $f_E$ is a Hecke form.
2) Suppose that the Fermat equation $a^p+b^p=c^p$ admits a non trivial solution and consider the elliptic curve $E_{a,b,c}$ defined over $\mathbf Q$ by the equation $y^2=x(x-a^p)(x+b^p)$ (Hellegouarch, 1969). Frey (1986) conjectured that $E_{a,b,c}$ could not be modular (see the appendix). Then (Mazur and) Ribet (1990) proved a deep theorem on modular representations of $Gal(\bar {\mathbf Q}/\mathbf Q)$ which implied Frey's conjecture.
3) FLT follows from 1) and 2). Thus the modularity thm. implies FLT, but the converse  does not hold, for purely logical but also for "intuitive" reasons.
Appendix. I take this opportunity to reproduce a short historical account which I gave as a comment to  A question on FLT and Taniyama Shimura
Frey picked up this curve in Yves Hellegouarch's thesis *Courbes elliptiques et équation de Fermat", Besançon, 1972. Hell. himself has written a nice introductory book on the subject, "Invitation aux math. de Fermat-Wiles", Masson ed., 1997 (I don't know if there is an English translation). At the beginning of the 70s, Hell. had not the necessary coceptual tools to conjecture that his elliptic curve could not be modular, but he was aware that it possessed so many extraordinary properties that he had nicknamed it "Roland's mare" (Roland - Orlando in Italian - was presumably a nephew of emperor Charlemagne, a legendary hero in French mythology, and the central character of Tasso's epic poem "Orlando furioso"), a fabulous animal which had all the qualities in the world except... existence. Only in 1985, with all the theoretical progress made in more than 10 years, Frey was able to state his conjecture that "Roland's mare" could not be modular. See the historical appendix of Hell.'s book.
