A yerine a olmalıydı diye düşündüm.
\equiv \equiv\mod a \mod ai 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