yを完全数とする。
y=3ではこの問題の解になり得ないのに
Dy^2-D=0かつD=0
だと、この不適のyであってもこの式自体が真になるからD=0は不適だということになります
よって完全数は(偶数のものも含めて)存在しない。証終。

もうこれでいいだろ。簡潔だ。