そしてpがp'に置き換わる時点で、
B_{r+1}に課せられる条件は「p,p_1,…,p_rと互いに素」から「p',p_1,…,p_rと互いに素」に置き換わるんでは?