 Dirichlet's theorem on arithmetic progressions

Dirichlet's theorem on arithmetic progressions states that if \( a \) and \( d \) are two coprime integers (that is, their greatest common divisor \( \gcd(a, d) = 1 \)), then there are infinitely many prime numbers of the form \( a + nd \), where \( n \) is a non-negative integer.