Provable prime

An integer that is either constructed to be prime or is demonstrated to be prime using a primality-proving algorithm.