あとpCnがpの倍数であることを示せって上で言ったけど
これと関連してこちらもどうぞ

a^pーb^p=d (a,bはa>bを満たす整数 pは3以上の素数 dは素数)のとき
d−1は偶数かつpの倍数であることを示せ

改題して難易度下げますた