>>21
奇数の完全数が存在するためには
2b=p^n+…+1=(p+1)(p^(n-1)+p^(n-3)+…+1)
が成立しなければならないので、bは(p+1)/2を因数に持たなければなりません。

＞あと整数sと素数p_{*}の添え字のs　同じ意味？
添え字のsはrではないという意味で、1〜r-1のどれかになります。