奇数の完全数の存在に関する証明は正しいはず

[0609 １３２人目の素数さん 2018/07/25(水) 00:09:44.54 ID:Shnmit7L]

少し確認。
6頁目の真ん中の、
＞(p+1)/2が素数である場合にはp_r=(p+1)/2として、
っていうのは、(p+1)/2が素数を素数とすると、それはp_1、,,,、p_rのどれかに一致するであろうから、
それを改めてp_rとおく、という意味でOK？