A yerine a olmalıydı diye düşündüm.
\equiv $\equiv$\mod a $\mod a$i 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)!\equiv -1 (\mod p)$$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