奇完全数　y=p^n・b、a=(bの約数の和)
n=0とすると、pによらずy=bとなり、
y:完全数より、a=2bであるから、⑤式を満たす
⑤式を満たす(a,b,p,n)の組は完全数を示す

と言ってるの？だとしたら
「yが完全数であればyは完全数である」
って言ってるだけだよね？