
We show that if the first case of Fermat’s Last Theorem is false for prime exponent p p then p 2 {p^2} divides q p − q {q^p} - q for all primes q ⩽ 8 q q \leqslant 8q . As a corollary we state the theorem of the title.
Pollaczek's work, Gunderson's function, Kummer-Mirimanoff congruences, Higher degree equations; Fermat's equation, first case of Fermat's last theorem
Pollaczek's work, Gunderson's function, Kummer-Mirimanoff congruences, Higher degree equations; Fermat's equation, first case of Fermat's last theorem
| selected citations These citations are derived from selected sources. This is an alternative to the "Influence" indicator, which also reflects the overall/total impact of an article in the research community at large, based on the underlying citation network (diachronically). | 15 | |
| popularity This indicator reflects the "current" impact/attention (the "hype") of an article in the research community at large, based on the underlying citation network. | Average | |
| influence This indicator reflects the overall/total impact of an article in the research community at large, based on the underlying citation network (diachronically). | Top 10% | |
| impulse This indicator reflects the initial momentum of an article directly after its publication, based on the underlying citation network. | Average |
