Wilsonの定理:　
n≧3 とする。このとき、
　(ｎ-1)!≡-1 mod n <=> n:素数