>>534
>Bx=p^(qx)の仮定は成り立ちようがない
証明していないことを、さも当たり前のように書くのはやめてもらいたい