論文でやっている式変形は同値変形でないものが含まれるからな
推論しているうちに、元の命題を満たさない条件が混じることが誤りを呼ぶ

＞a(1+…+p^n)/(2p^n)=b
３ページのこの辺りまでは「pが完全数yの素因数」という条件を満たす場合のみ成立する。
しかし、これの両辺に(2(p-1)p^n)を掛けて整理した以下の式は、すでに「pが完全数yの素因数」を満たさない条件で成立する式になっている。

＞(a-2b)p^(n+1)+2bp^n-a=0

この式は pが奇素数としても不適な p=1 の場合も成立するからである。
(左辺 (a-2b)p^(n+1)+2bp^n-a に p=1 を代入すると (a-2b)+2b-a=0 となる)
この時点で、すでに (a-2b)p^(n+1)+2bp^n-a=0 を満たすすべての p に対応する完全数が存在するとは言えない。

同様に、このような推論を繰り返して導いた式 Dp^2-D=0 が不適な p で満たれていても、
Dp^2-D=0 を満たすすべての p に対応する完全数が存在するとは言えない。