-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は存在しない。
以上から、奇数の完全数は存在しない。
