というかざっと眺めたけど「奇数の完全数が存在する」以外の仮定がいくつかあって背理法になってないんだが?