Comment by te_platt

Nice touch: 4.15 FERMAT’S LAST THEOREM: ... General case when n>2 was proved by Andrew Wiles (1994). The proof is too long to be written here. See: http://www.cs.berkeley.edu/~anindya/fermat.pdf