証明あってないけど、この人は奇数の完全数が1つでも存在するならば
奇数の完全数は少なくとも2つ存在することを示したのではなくて?
そうすれば、奇数の完全数が2つ以上存在するならば、奇数の完全数は存在することは明らかだから、
奇数の完全数が存在することと、奇数の完全数が2つ以上存在することは同値になる。
そして奇数の完全数が2つ以上存在すると仮定すると矛盾が起きるってことを示したのでは?(

証明はあってませんが、この推論は正しいです。)