 Euclid's theorem is a special case of Dirichlet's theorem for "a = d = 1".Every case of Dirichlet's theorem yields Euclid's theorem.Let be the prime-counting function that gives the number of primes less than or equal to , for any real number .