Mit anderen Worten: Wenn Fermats letzter Satz falsch ist, so auch die Taniyama-Shimura-Vermutung; ist die Taniyama-Shimura-Vermutung hingegen richtig, so muss auch Fermats letzter Satz richtig sein. Da die Frey-Kurve semistabil ist, folgt der Beweis von Fermats letztem Satz aus der von Wiles bewiesenen Version des Modularitätssatzes. == Bedeutung...