bとpが互いに素
→わかる
pとB_{r+1}…B_xが互いに素
→わからない
bとB_{r+1}…B_xとp_xが互いに素
→これならわかる

勝手にpを素因数に含まないものに制限して、矛盾した
としか読めない