>>81 訂正
-ap+hp+c-h≡0 (mod g)
p(-a+h)+c-h≡0 (mod g)

整数iを用いて
p(-a+h)+c-h=gi

gp^2-gp+gi=0
i=p-p^2

i≡0 (mod p)
i≡0 (mod p-1)
iは1-pを約数に持つから偶数となる。


整数jを用いて
pj=gi

pj=g(p-p^2)
j=(1-p)g=g-gp

j≡0 (mod g)
j≡0 (mod p-1)
jは1-pを約数に持つから偶数となる。

g≡j (mod p) …④


c-h≡0 (mod p)だから、整数をk(0<k<p)として
c=kp+h
c,pはともに奇数であるから、hとkの偶奇は逆になる。

ap-2bp+2b=c

ap=2b(p-1)+c
=(gp+h)(p-1)+kp+h
=gp(p-1)+hp+kp

a=g(p-1)+h+k
a=gp-g+h+k

∴a≡-g+h+k≡0 (mod p)
g≡h+k (mod p)
hとkの偶奇は逆だから、h+kは奇数となるが
④の右辺は偶数であるから矛盾が生じる。
よって、上記の整数b,gは存在しない。

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