ウィルソンの定理

定理(Wilson). \(p\)を\(2\)以上の整数とする. このとき,次が成り立つ. $$ p\mbox{は素数} \ \Longleftrightarrow\ (p-1)!\equiv -1 \mod p $$
証明には, フェルマーの小定理 を用いる.

PDF