欧几里得引理

对于任意两个整数 和 ，假设 。那么如果 与 互质 于 ，则 整除 。这个结果出现在欧几里得《几何原本》第七卷命题 30 中。

Séroul (2000, pp. 10-11) 错误地将此结果称为“高斯引理”，但这完全是另一个不同的结果。