几何原本
在数论中，欧几里得引理是在欧几里得《几何原本》第七卷的命题30中提出的定理。這個引理說明：