kに依存してp=2p_k-1が成り立つって言ってるけど、nの素因数がpとp_kのふたつしかないとき

p=2p_k-1
p_k=2p-1

よりp=p_k=1になっちゃうよ。