>>779
＞2^(qr-1)(1-(p^(n-1)+p^(n-3)+…+1)/(p+1)^(qr-1))はprを因数として持つこともあり
この説明がダウト。
一般的に2^(qr-1)(1-(p^(n-1)+p^(n-3)+…+1)/(p+1)^(qr-1))は整数ではない。
この数について因数を持つ持たないの議論は成立せず、よって>>779の主張は正しくない。