证明：如果p是素数,并且0<k<p,那么(p-k)!(k-1)!≡(-1)^k(mod p)

注：威尔逊定理自行了解！