最新版でも>>607で指摘した読みにくい表現は治ってない
もう一度その一部を引用する

p_r が (p+1)/2 の倍数になることはないから
p_r = (p+1)/2
のとき、

(p+1)/2 は (p+1)/2 の倍数だが