درگاه:ریاضیات/نوشتار برگزیده/۸

قضیه ویلسون قضیه‌ای در نظریه اعداد است. این قضیه بیان می‌کند به ازای هر عدد اول مانند $\,p$ داریم:

$(p-1)!\equiv -1{\pmod {p}}$

کارل فریدریش گاوس ریاضیدان آلمانی در سال ۱۸۰۰ میلادی ثابت کرده که برای هر عدد طبیعی $m>2$ عدد اول p داریم:

$\prod _{k=1 \atop \gcd(k,m)=1}^{m}\!\!k\ \equiv {\begin{cases}-1{\pmod {m}}&{\text{if }}m=4,\;p^{\alpha },\;2p^{\alpha }\\\;\;\,1{\pmod {m}}&{\text{otherwise}}\end{cases}}$