\(2^{p-1}\equiv 1 \mod p\) ist bekannt.
Dann gilt aber auch
\(2^{p-1}\equiv p+1 \mod p\)
Da p ungerade ist, ist p+1 gerade.
\(2^{p-2}\) ist die Hälfte von \(2^{p-1}\).
Da p ungerade ist, ist p+1 gerade. Damit existiert auch \( \frac{p+1}{2} \) als ganze Zahl.