素数関連(next_prime,primep)

primep(n)      n が 素数ならば TRUE を、そうでなければ FALSE を返す。

next_prime(n)   n 以上の最小の素数。