What does Dirichlet's theorem on primes in arithmetic progressions state?
Any AP a, a+d, a+2d,... contains at least one prime
If gcd(a,d)=1, the AP a, a+d, a+2d,... contains infinitely many primes
All primes occur in APs with difference 2
Every odd number is in some prime AP