＞２３

http://www.em.cache.waseda.ac.jp/research/complexity.html
確率性アルゴリズム

補題３
　　n≧2 が素数である必要十分条件は 0＜a＜n なる任意の a に対して
　　　　 a^(n-1) ≡ 1 (mod n) が成り立つことである．
補題４
　　n が奇数の合成数ならば，
　　次の条件を満たす整数 0＜a＜n が少なくとも (n-1) / 2 個存在する
　　　　a^(n-1) ≡ 1 (mod n) が成り立たないか，または，
　　　　2i | (n - 1), 1＜gcd(a^((n-1)/2i -1), n)＜n を満たす整数 i が存在する．

これを使って　適当に乱数で検査して　素数らしさが十分だったら、それで
いいってのが１が欲しい乱数の作成方法でしょ？