bの約数)はNを割りきる。q1t1q2t2q3t3...qmtmと表記する。1,2,..mである。=1,2,...mである。q1t1q2t2q3t3...qmtmとなる。q1t'1q2t'2q3t'3...qmt'mと表すことができる。j=1,2,...,m.である。t'm)の値を決めることは一対一に対応している。t'm)が決まり、これは、対応するaの約数、bの約数が一意に決まることを意味する。□それでは、メルセンヌ素数と完全数に関する定理の証明に入ります。最初の部分を証明します。