ウィルソンの定理

定理(Wilson)． $p$を$2$以上の整数とする． このとき，次が成り立つ． $$p\mbox{は素数} \ \Longleftrightarrow\ (p-1)!\equiv -1 \mod p$$