Ek: Kopyala yapistir yaparken yanmislikla duznelemeyi biir dedim, bi degisiklik yok ispatta. O nedenle degisiklik var mi diye kontrol etmenize gerek yok.
(-1)^{\frac{s(s+1)}{2}}s! kismi ile basliyorum. Bu nedenle s olmasi durumu yok. Bu bir baslangic. Yanindaki esitligin dogruluguna bakalim. \equiv [(-1)\cdot1]\cdot[(-1)^2\cdot2]\cdot[(-1)^3\cdot3]\cdot[(-1)^4\cdot4] \cdots [(-1)^s\cdot s]. Burada -1 uzerinde 1,2,\cdots,s var ve carpan olarak da 1,2,\cdots,s var. Yani esitlik dogru. Bundan sonra 2\cdot4 \cdots (p-1) =2^s\cdot s! esitligini sormussunuz. Her terimden 2 carpanini disariya atiyoruz ve s tane terim var, ayrica (p-1)/2=s olmasi bu esitligi verir.