>>555
成立すると仮定されるけど、正しくはないということです

>>558
>>556を訂正します
n+1=m(q-1)×q^(r-1)⇒p^n+…+1≡0 (mod q^r)