歐幾里得引理

對於任意兩個整數 和 ，假設 。那麼如果 與 互質 於 ，則 整除 。這個結果出現在歐幾里得《幾何原本》第七卷命題 30 中。

Séroul (2000, pp. 10-11) 錯誤地將此結果稱為“高斯引理”，但這完全是另一個不同的結果。