要するに
＞(p+1)/2に含まれる素数だけが、p^(n-1)+p^(n-3)+…+1の因数となる場合
が偽なので、
＞(p+1)/2に含まれる素数だけが、p^(n-1)+p^(n-3)+…+1の因数となる場合には奇数の完全数は存在しない
は真になるだろう
で、それが成果だとでも？