In section 4 of my book on the Catalan conjecture, I present such a proof. I took it from Bill McCallum's 1977 honours project at the University of Sydney
Rene Schoof
- 670
- 3
- 9