>>221 訂正
h-g=-p(p+1)(kp+h+k)(p^(n-3)+p^(n-5)+…+1)
h-g=w(p+1)より
w=-p(kp+h+k)(p^(n-3)+p^(n-5)+…+1)
w=-p(kp+h+k)(p^2+1)(p^(n-5)+p^(n-9)+…+1)

w≡0 (mod p)
w≡0 (mod kp+h+k)
w≡0 (mod p^2+1)
整数をzとして
w=zp(kp+h+k)

w≡zk-(h+k)z≡-hz (mod p+1)
w≡zk+(h+k)z≡(h+2k)z (mod p-1)
wはp^2+1を因数に持つから偶数で、hかzはどちらかが偶数になる。

h-g=w(p+1)
w≡0 (mod p)より
g≡h (mod p)
g≡h+k (mod p)だから
k≡0 (mod p)

kはpの倍数だから今までのkをKpに置き換えると、式④から
-a-g+h=-gp-Kp、c-h=Kp^2だから
gp^2-(gp+Kp)p+Kp^2=0
となり、pを求めることができない。

以上から、奇数の完全数は存在しない。