>>753

> 2-3ページの証明からB1B2...Bxの部分はpと異ならなければなりません

「最終的にR = 1になる」の時点に対して適用すると「p_xと異なる」になるのでは?