Arith_Prog_Rel_Primes