設 為整數且設
是一個整係數多項式,它至少有一個實根。則 有無窮多個素因子,這些素因子不同餘於 1 (mod ) (Nagell 1951, 第 168 頁)。
更多嘗試
Weisstein, Eric W. "鮑爾定理。" 來自 —— 資源。 https://mathworld.tw/BauersTheorem.html