ごめん、p^(p-1)の倍数にならないじゃなくて(py)^(p-1)の倍数にならないだった