نبذة سريعة عن مبرهنة بروث

في نظرية الأعداد، مبرهنة بروث هي اختبار أولية أعداد بروث.











a



(

p

−

1

)



/



2





≡

−

1



mod





p









{\displaystyle a^{(p-1)/2}\equiv -1\mod {p}\,\!}