威尔逊定理

1、定义

\((p - 1)! \equiv -1~(mod~p)\) 是 \(p\) 为素数的充分必要条件。

2、证明

摘自：威尔逊定理