和の中でm=nの時とm=1の時はどちらもとなるので、それ以外の項の和が 0 かどうかで素数判定できるという等式である。n:素数でない⇒ ∃p,q＞1 (n=p・q) ⇒ であるから素数でないなら和は2でない。つまり 問題の和=2 ⇒ n:素数 逆に 1＜m＜n かつ なる m が存在し…