根据Wilson定理,由p是素数有(p-1)!≡ -1 (mod p).由p是奇数,有如下(p-1)/2个同余式:p-1 ≡ -1 (mod p),p-2 ≡ -2 (mod p),...(p+1)/2 ≡ -(p-1)/2 (mod p).相乘即得(p-1)!/((p-1)/2)!≡ (-1)^((p-1)/2)·((p-1)/2)!(...