ウィルソンの定理

次の2つは同値である。

$ (p-1)! \equiv -1 \mod p