Dirichlet Teoremi
Dirichlet teoremi, a ve b sabitlerinin 1 sayısı dışında ortak bölenleri olmayan tam sayılar olduğu (bu durumda çift nispeten asal olarak bilinir) ve n değişkeninin herhangi bir doğal sayı (1, 2, 3, ...) olduğu na + b biçimindeki tüm sayılar koleksiyonunda sonsuz sayıda asal sayı bulunduğunu ifade eder. Örneğin, 3 ve 4 göreceli olarak asal olduğundan, 4n + 3 biçimindeki sayılar arasında sonsuz sayıda asal sayı olmalıdır (örneğin, n = 1 olduğunda 7, n = 2 olduğunda 11, n = 4 olduğunda 19 ve benzeri). 18'inci yüzyılın sonları ile 19'uncu yüzyılın başlarında yaşamış Alman matematikçi Carl Friedrich Gauss tarafından varsayılan bu ifade, ilk kez 1826 yılında Alman matematikçi Peter Gustav Lejeune Dirichlet tarafından kanıtlanmıştır.