is a prime, with [DIGITS] digits.