Is 9 a prime number?