初等数论：威尔逊定理的高斯推广之我的证明

题：威尔逊定理的高斯推广：除了$m=4，p^t，或2p^t$之外，其中$p$是奇素数，$t$是正整数，所有小于m而且和m互素的正整数的乘积同余于$1(\mathrm{m}\mathrm{o}\mathrm{d}m)$，而前一种情况同余于$-1(\mathrm{m}\mathrm{o}\mathrm{d}m)$（摘自《初等数论及其应用第六版》6.2节习题44，偶数答案需要联系出版社才有）

前言：书上的提示是利用同余方程覆盖集证明，表示没想明白。

设：$\prod =$所有小于m而且和m互素的正整数的乘积

证：
共同点证明：
对于任一与m互素的正整数$a$，则对于同余方程必有解
$ax\equiv 1(\mathrm{m}\mathrm{o}\mathrm{d}m)\Rightarrow (x,m)=1$，不然$a$不存在

$1.m=4，p^t，或2p^t$证明：
当$m=4\Rightarrow 3\equiv -1(\mathrm{m}\mathrm{o}\mathrm{d}4)$，显然成立
当$m=p^t$
$\because$ 对于任一正整数$a$，有$a\in [2,m-2]\bigwedge (m,a)=1$
$\therefore a^2\equiv 1(\mathrm{m}\mathrm{o}\mathrm{d}m)\Rightarrow m\mid (a-1)(a+1)$
$\because (a+1,a-1)=(a+$