＞a(1+p+p^2+..+p^n)=2bp^n でなければならないから、少なくともaとbの比はpに依存している
aとbの比がpに依存しているので、pが変化するとき、aを固定すればbは変化するし、bを固定すればaが変化する
式⑤においてpが変化してもaとbの両方が定数だと仮定すると、奇数の完全数が存在するために必要なaとbの条件である a(1+p+p^2+..+p^n)=2bp^n の関係式を満たさないのだから、
必要とする条件を外れたそのような仮定から求められる a=b=0 の結論は、奇数の完全数の非存在の証拠にはなりえない
