ウィルソンの定理によれば、$p$ が素数であるとき $(p-1)!$ は $p$ を法として何に合同か。

$(p-1)! \equiv -1 \pmod p$ は $p$ が素数であるための必要十分条件でもある。