>>469-470
＞p^(n-1)+p^(n-3)+…+p^2+1 は少なくとも一つ、(p+1)/2のどの素因数よりも大きな素因数を持つ
これは、要素からなる集合ではなく命題だ

>>471
何も都合の悪いことはない。ただ、>>294が正しければ、私が証明した条件との差分がφ集合に
なるというだけだ

それがφ集合だとがんばっているのはあなたがただ