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