|>>556を訂正します
|n+1=m(q-1)×q^(r-1)⇒p^n+…+1≡0 (mod q^r)
1にとって矢印の向きは意味を持たない
これを言っておいて>>566のように
p^n+…+1≡0 (mod q^r)⇒…の方向で使うのが1のやり方
この点において、1は今回も期待を裏切らなかった