令m=2p+1(2p)!=1*(m-1) *2(m-2) *3(m-3)......(p-1)(m-p+1) *p(m-p) ≡1^2*2^2*3^2............p^2*(-1)^p =(p!)^2 *(-1)^p （mod m）题目错了吧，应该是同余的，而且从证明过程来看m不需要是素数这个条件，只需要是奇数即可。
