数列｛ａ＋ｎｄ｝，ａとｄは互いの素

のなかに素数は無限に存在する．（ディリクレの算術級数定理，１８３７年）

　そして，有名な素数定理（ＰＴ）は，漸近分布の形で

　　π（ｘ）〜ｘ／ｌｏｇｘ

と表すことができます．素数は無限個存在し，そして等差数列｛ａ＋ｋｎ｝にも素数は無限に含まれるのですが，素数ｐでａ＋ｋｎの形のものの分布問題がディリクレの算術級数定理です．

　　π（ｘ；ａ，ｎ）〜Ｃ・ｘ／ｌｏｇｘ　　　Ｃ＝１／φ（ｎ）

＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝

　φ（ｍ）は，ｍと互いに素であり，ｍより小さい整数ｒ，１≦ｒ＜ｍの個数として定義される．

　ｍ＝９→１，２，４，５，７，８→φ（９）＝６

　ｍ＝１０→１，３，７，９→φ（１０）＝４

　φ（１）＝１，φ（２）＝１，φ（３）＝２，φ（４）＝２

　φ（５）＝４，φ（６）＝２，φ（７）＝６，φ（８）＝４

　φ（９）＝６，φ（１０）＝４，

　φ（ｐ）＝ｐ−１

　φ（ｐ^a）＝（ｐ−１）ｐ^(a-1)＝ｐ^a（１−１／ｐ）

　φ（ｍ）＝ｍΠ（１−１／ｐi）

　φ（１０）＝１０（１−１／２）（１−１／５）＝４

＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝