provable prime

prime integer calculated using a primality-proving algorithm

Categories: