欧几里德引理

对于任意两个整数和，假设.那么如果是相对质数到，然后划分这一结果出现在欧几里德的元素，第七册，提案30。

这个结果被错误地称为“高斯引理,"这是Séroul（2000年，第10-11页）得出的一个完全不同的结果。