LECTURE NOTES IN ANALYSIS (2011)
《LECTURE NOTES IN ANALYSIS (2011)》 · 第 291 页 · Notes on Chapter 5，§5.1
The proof of Theorem 5.10 offers a good example of Fermat's "method of infinite descent."