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