Note on \textit{Fermat}'s last theorem. (Q5909910)

Beweis des Satzes: Wenn \(p\) eine ungerade Primzahl ist und die Gleichung \(x^p+y^a+z^p=0\) eine Lösung in ganzen Zahlen \(x,y,z\) hat, die alle teilerfremd zu \(p\) sind, dann existiert eine positive ganze Zahl \(s\), kleiner als \(\frac12(p-1)\), von solcher Beschaffenheit, daß \[ (s+1)^{p^2}\equiv s^{p^2}+1\pmod{p^3} \] ist.