On the proof of Fermat's conjecture. II (Q1264575)

Part I [Elem. Math. 50, No. 1, 12-25 (1995)] has been reviewed in Zbl 0849.11003. In a cognate review elsewhere (Andrew Bremner writing for Math. Reviews) one learns: ``In Part I the author provides the non-specialist reader a survey of the definitions and theorems involved in understanding how the Fermat conjecture is a natural consequence of the Shimura-Taniyama conjecture for semistable elliptic curves. In this continuation, the author attempts an exposition of the proof by Wiles and Taylor of the latter conjecture, hoping to provide a glimpse into the riches and complexity of the proofs of the principal theorems. Of necessity, the article is far more sophisticated than its predecessor, though the exposition is very clear.'' The present reviewer endorses those comments and adds the following. The editors of Elem. Math. remark in a special footbox to this note that they consider it a responsibility of their journal to provide a report on the Wiles, Taylor-Wiles proof of Fermat's Last Theorem. This reviewer's comment is that the present writer does a remarkably good job at this near impossible task. For a far more extended version, though in English and in some respects less technical, the reader may also wish to look at the reviewer's book ``Notes on Fermat's Last Theorem'' (Wiley, New York 1998; Zbl 0882.11001).