4ページ目の pk mod p>1 のところが問題で、pk mod p=1 になる奇素数pkとpの組み合わせは無数に存在する。
その場合、qk+1はp-1の倍数でなくて良く、その後の推論も成立しない。