primes (12.14)