1、在数论中。

2、欧几里得引理是根据欧几里得的《几何原本》第七卷的命题30推出的一个定理。