奇数の完全数の存在に関する証明が完成しました

[0953 １３２人目の素数さん 2018/08/21(火) 13:33:38.09 ID:5BMCBs7/]

多項式環 Q[m] における
“d(m)がf(m)の因子”
の定義は
“f(m) = d(m)e(m) となる e(m)∈Q[m] が存在するとき”
でいいの？
これが多項式環での一般的な定義だと思うけど。