>>603
604ですが、訂正
pCk=p*(p-1)*・・・ (k=1,2,・・・(p-1))
でpが素数だから、pCkはpの倍数となる