>>878
またループしているな

＞s=v(p^(n-1)+p^(n-3)+…+1) ①
＞s=v(p^(n+1)-1)/((p+1)(p-1)) ②
＞sに因数prが含まれていないから、p^(n-1)+p^(n-3)+…+1には
＞因数prが含まれないので、

①を②に変形したわけだから、分母だけではなく分子も(p+1)(p-1)の倍数だ
よって②の分母は

＞分母にprがあるから割り切られない
とはならない