ウィルソンの定理

3行要約

1. 自然数 p が素数であるための必要十分条件を、階乗を用いた合同式で表す定理。
2. (p-1)! ≡ -1 (mod p) が成り立つとき、かつその時に限り p は素数である。
3. 理論的には強力だが、階乗の計算量が膨大になるため素数判定の実用には向かない。