この証明が正しいのであれば、
偶数の完全数の存在も否定されるように思うのですが、
そうではないのでしょうか？