布.狄利克雷定理揭示了质数在同余类中的分布。形象地说，在模formula_2同余类中，除去不包含或仅包含有限个质数的同余集合，质数的分布是大致均匀的。
相关定理.其中φ是欧拉函数。取formula_55，可得一般的质数定理。
历史.欧拉曾以formula_60，来证明质数有无限个。约翰·彼得·狄利克雷得以灵感，借助证明formula_61来证明算术级数中有无限个质数。这个定理的证明中引入了狄利克雷L函数，应用了一些解析数学的技巧，是解析数论的