>>573
そのサイトの主張は
mが奇数の完全数ならある素因子 p が存在してe = v_p(m)とおくとき
・p ≡ 3 (mod 4)
・e ≡ 3 (mod 4)
・m/p^e は平方数で且つ (p+1)/2 の倍数
の事？
これは完全に正しいですね。
信頼ないソースはオイラの査読www。
てかここまでは論文誌なら１ページですね。