"""与えられた数nが素数かどうかを判定する。先ほどのアルゴリズムを考える。探索対象となる自然数を素因数分解したときの値で割ることができれば、探索対象が合同数であることは確定する。先程は割る数をランダムに取ったが、その候補に素因数が含まれる割合が多ければ、より効率よく素数か否かを判定できる。小定理を活用してみよう。素数ではないことが分かる。新たに素数か否かを判定するための自然数とする。以上の確率で合成数かを判定するための良い候補を探すことができる方法を発見した。