Proper noun
the Siegel-Walfisz theorem (mathematics) A particular refinement of the prime number theorem and of Dirichlet's theorem on primes in arithmetic progressions.