注意 m = p (p-1)/2, 并且 p 和 (p-1)/2 互素.由 Wilson 定理, (p-1)! + 1 是 p 的倍数, 所以 (p-1)! - (p-1) 是 p 的倍数; 而显然 (p-1)! - (p-1) 是 (p-1)/2 的倍数.
