A yerine a olmalıydı diye düşündüm.
\equiv ≡\mod a modai kullanabılırsın, sitede bunun ıspatı var diyorlar ama pek sevemedım.
ben bulamadım sitede , düzenledim ayrıca
p>1 sayısının asal olması için gerek ve yeter koşul ;(p−1)!≡−1(modp)olmasıdır.teorem tam olarak böyle.kaynak:sayılar kuramı olımpıyat soruları, İlham alıyev,Halıl ıbrahım karakaş
Burada da ispati var: (iki adet) http://matkafasi.com/7409