text1: If a and q are coprime, which theorem holds that an arithmetic progression has an infinite number of primes?
text2: can have infinitely many primes only when a and q are coprime, i.e., their greatest common divisor is one.