Lucas 定理

质数 p 有

Wilson 定理