rt，exLucas 显然需要求形如 $(n!)_ p\bmod p^k$ 的柿子，即推论 1（附上链接：https://oi-wiki.org/math/number-theory/wilson/#wilson-%E5%AE%9A%E7%90%86%E7%9A%84%E6%8E%A8%E5%B9%BF）

然而这个推论及证明是不是有问题？他似乎把 $p$ 的倍数全部弄掉了？正确的例如，$2p$ 不应该是只提取一个 $p$ 出来吗？

$(n!)_ p\equiv(\pm 1)^{\lfloor n/p^q\rfloor}\color{red}\times (\lfloor\dfrac{n}{p^q}\rfloor!)_ p\color{black}\times (N_0!)_ p\pmod{p^q}$

这样是否才是正确的？