〔Wilsonの定理〕
 (n-1)! ≡ -1 (mod n)   (nは素数)
 (n-1)! ≡ 2 (mod n)   (n=4)
 (n-1)! ≡ 0 (mod n)   (nは合成数(>4))