With this additional insight, Wiles was able to successfully complete the erroneous portion of the proof using Iwasawa theory, proving the semistable case of the Taniyama-Shimura conjecture (Taylor and Wiles 1995, Wiles 1995) and, at the same time, establishing Fermat's last theorem as a true theorem.