後の引用のため次の有名な定理を述べておく。
証明は後で行う。

定理(Dirichletの算術級数定理)
n ＞ 1 を有理整数とする。
(Z/nZ)^* の各剰余類には素数が無限に存在する。