＞http://idm.s9.xrea.com/factorization/eratosthenes.html

ここの「アルゴリズムの基本」ってところとその証明、残念ながら
厳密には間違ってるよｗ