Symbol: for_each_prime_number