fn is_prime_known(n: u32, known: &[u32]) -> bool
Returns true if none of the known primes divides n (other than n itself).
Prerequisite: The slice of known primes is sorted.