>>684
書いてあると思いますけど。
2b=c(p^n+…+1)
a=cp^n
2b-a=c(p^(n-1)+…+1)>0

>>685
yが完全数となるようなpの存在を仮定しているのです。