威尔逊定理证明问题[必要性]  若p是素数,取集合 A={1,2,3,...p -1}; 则A 构成模p乘法的缩系,即任