Just suppose, for a moment, that all rings of integers in algebraic number fields were unique factorization domains, then it would be fairly easy to produce a proof of Fermat's Last Theorem, fitting, say, in the margin of this page. Unfortunately however, rings of integers are not that nice in general, so that, for centuries, math- ematicians had to search for alternative proofs, a quest which culminated finally in Wiles' marvelous results - but this...