yを完全数とし、pをその素因数とする。
そのとき、整数sが存在してy=spとなるから、これを移項して
-sp+y=0 …(A)
0p=0でpは不定となるから、(A)の係数はすべて0にならなければならない。
よって、-s=0かつy=0となり、0は完全数でないので不適となる。
以上のことから、完全数は存在しない。