[math-fun] Probably dumb question about primes