庞比երի定理

定义

(1)

其中

(2)

(Davenport 1980, 第 121页), 是 Mangoldt 函数，以及 是 totient 函数。现在定义

(3)

其中求和是对 与 ... 互质 的 进行的，，以及

(4)

庞比երի定理指出，对于固定的 ，

(5)

只要 。