设 
为整数且设
 |
是一个整系数多项式，它至少有一个实根。则 
有无穷多个素因子，这些素因子不同余于 1 (mod 
) (Nagell 1951, 第 168 页)。
鲍尔定理
另请参阅
鲍尔恒等同余, 素因子使用 Wolfram|Alpha 探索
参考文献
Nagell, T. "关于某些多项式的素因子的鲍尔定理。" §49 in 数论导论。 New York: Wiley, pp. 168-169, 1951.在 Wolfram|Alpha 中被引用
鲍尔定理请引用为
Weisstein, Eric W. "鲍尔定理。" 来自 MathWorld——Wolfram Web 资源。 https://mathworld.net.cn/BauersTheorem.html